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 | 148 | 2012 |
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 | 51 | 2009 |
Honu: syntactic extension for algebraic notation through enforestation J Rafkind, M Flatt Proceedings of the 11th International Conference on Generative Programming …, 2012 | 30 | 2012 |
Growing a syntax E Allen, R Culpepper, JD Nielsen, J Rafkind, S Ryu Proceedings of Workshop on Foundations of Object-Oriented Languages, 2009 | 22 | 2009 |
Syntactic extension for languages with implicitly delimited and infix syntax J Rafkind The University of Utah, 2013 | 4 | 2013 |
Honu: A syntactically extensible language J Rafkind, M Flatt Proceedings of Generative Programming and Component Engineering, 2012 | 1 | 2012 |
Run Your Research C Klein, J Clements, C Dimoulas, C Eastlund, M Felleisen, M Flatt, ... | | |
Garbage collection in a commodity OS J Rafkind | | |