Carl Eastlund

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Development Environments

Top Venues

Publications

Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler
Run your research: on the effectiveness of lightweight mechanization. POPL (2012)
Carl Eastlund, Matthias Felleisen
Hygienic Macros for ACL2. Trends in Functional Programming (2010)
Carl Eastlund, Matthias Felleisen
Toward a Practical Module System for ACL2. PADL (2009)
Carl Eastlund, Matthias Felleisen
Making induction manifest in modular ACL2. PPDP (2009)
Rex L. Page, Carl Eastlund, Matthias Felleisen
Functional programming and theorem proving for undergraduates: a progress report. FDPE@ICFP (2008)