Carl Eastlund
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2008–2012
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | POPL | 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 |
| 2009 | PADL | Toward a Practical Module System for ACL2. | Carl Eastlund, Matthias Felleisen |
| 2009 | PPDP | Making induction manifest in modular ACL2. | Carl Eastlund, Matthias Felleisen |
| 2008 | ICFP | Functional programming and theorem proving for undergraduates: a progress report. | Rex L. Page, Carl Eastlund, Matthias Felleisen |