Follow
Jon Rafkind
Jon Rafkind
Verified email at cs.utah.edu
Title
Cited by
Cited by
Year
Run your research: on the effectiveness of lightweight mechanization
C Klein, J Clements, C Dimoulas, C Eastlund, M Felleisen, M Flatt, ...
ACM SIGPLAN Notices 47 (1), 285-296, 2012
1482012
Precise garbage collection for C
J Rafkind, A Wick, J Regehr, M Flatt
Proceedings of the 2009 international symposium on Memory management, 39-48, 2009
512009
Honu: syntactic extension for algebraic notation through enforestation
J Rafkind, M Flatt
Proceedings of the 11th International Conference on Generative Programming …, 2012
302012
Growing a syntax
E Allen, R Culpepper, JD Nielsen, J Rafkind, S Ryu
Proceedings of Workshop on Foundations of Object-Oriented Languages, 2009
222009
Syntactic extension for languages with implicitly delimited and infix syntax
J Rafkind
The University of Utah, 2013
42013
Honu: A syntactically extensible language
J Rafkind, M Flatt
Proceedings of Generative Programming and Component Engineering, 2012
12012
Run Your Research
C Klein, J Clements, C Dimoulas, C Eastlund, M Felleisen, M Flatt, ...
Garbage collection in a commodity OS
J Rafkind
The system can't perform the operation now. Try again later.
Articles 1–8