Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Carl Eastlund" ( http://dblp.L3S.de/Authors/Carl_Eastlund )

  Author page on DBLP  Author page in RDF  Community of Carl Eastlund in ASPL-2

Publication years (Num. hits)
2009 (2) 2010 (1) 2012 (1)
Publication types (Num. hits)
inproceedings(4)
Venues (Conferences, Journals, ...)
PADL(1) POPL(1) PPDP(1) Trends in Functional Programmi...(1)
Authors
Carl Eastlund(4) Matthias Felleisen(4) Casey Klein(1) Christos Dimoulas(1) Jay A. McCarthy(1) John Clements(1) Jon Rafkind(1) Matthew Flatt(1) Robert Bruce Findler(1) Sam Tobin-Hochstadt(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Casey 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. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carl Eastlund, Matthias Felleisen Hygienic Macros for ACL2. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carl Eastlund, Matthias Felleisen Toward a Practical Module System for ACL2. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Carl Eastlund, Matthias Felleisen Making induction manifest in modular ACL2. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF theorem provers, acl2, module systems
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.