Jon Rafkind

Publication Activity (10 Years)

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

Top Topics

Visual Languages

Development Environments

Top Venues

Publications

Jon Rafkind, Matthew Flatt
Honu: syntactic extension for algebraic notation through enforestation. GPCE (2012)
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)
Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt
Precise garbage collection for C. ISMM (2009)