Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jon Rafkind" ( http://dblp.L3S.de/Authors/Jon_Rafkind )

  Author page on DBLP  Author page in RDF  Community of Jon Rafkind in ASPL-2

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

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 2 publication records. Showing 2 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
1Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt Precise garbage collection for C. Search on Bibsonomy ISMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF garbage collection, precise, conservative, c programming language, accurate
Displaying result #1 - #2 of 2 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.