Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Casey Klein" ( http://dblp.L3S.de/Authors/Casey_Klein )

  Author page on DBLP  Author page in RDF  Community of Casey Klein in ASPL-2

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

Group by:
No Growbag Graphs found.
Results
Found 3 publication records. Showing 3 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
1Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler A Semantics for Context-Sensitive Reduction Semantics. Search on Bibsonomy APLAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Casey Klein, Matthew Flatt, Robert Bruce Findler Random testing for higher-order, stateful programs. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.