Travelled to:1 × Germany
1 × Ireland
1 × USA
Collaborated with:M.Flatt A.Wick J.Regehr C.Klein J.Clements C.Dimoulas C.Eastlund M.Felleisen J.A.McCarthy S.Tobin-Hochstadt R.B.Findler
Talks about:lightweight (1) research (1) enforest (1) syntact (1) collect (1) algebra (1) precis (1) mechan (1) garbag (1) extens (1)
Person: Jon Rafkind
DBLP: Rafkind:Jon
Contributed to:
2012
2012
2009Wrote 3 papers:
- GPCE-2012-RafkindF #algebra #named
- Honu: syntactic extension for algebraic notation through enforestation (JR, MF), pp. 122–131.
- POPL-2012-KleinCDEFFMRTF #effectiveness #lightweight #research
- Run your research: on the effectiveness of lightweight mechanization (CK, JC, CD, CE, MF, MF, JAM, JR, STH, RBF), pp. 285–296.
- ISMM-2009-RafkindWRF #c #garbage collection #precise
- Precise garbage collection for C (JR, AW, JR, MF), pp. 39–48.