Carl Eastlund

According to our database, Carl Eastlund authored at least 5 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Run your research: on the effectiveness of lightweight mechanization.

Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2010

Hygienic Macros for ACL2.

Carl Eastlund, Matthias Felleisen

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

2009

Making induction manifest in modular ACL2.

Carl Eastlund, Matthias Felleisen

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Toward a Practical Module System for ACL2.

Carl Eastlund, Matthias Felleisen

Proceedings of the Practical Aspects of Declarative Languages, 2009

2008

Functional programming and theorem proving for undergraduates: a progress report.

Rex L. Page, Carl Eastlund, Matthias Felleisen

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008