Travelled to:1 × United Kingdom
2 × USA
Collaborated with:∅ C.Klein J.Clements C.Dimoulas C.Eastlund M.Felleisen M.Flatt J.Rafkind S.Tobin-Hochstadt R.B.Findler
Talks about:serializ (2) continu (2) lightweight (1) research (1) modular (1) automat (1) mechan (1) effect (1) applic (1) accord (1)
Person: Jay A. McCarthy
DBLP: McCarthy:Jay_A=
Contributed to:
2012
2010
2009Wrote 3 papers:
- 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.
- OOPSLA-2010-McCarthy #continuation
- The two-state solution: native and serializable continuations accord (JAM), pp. 567–582.
- ICFP-2009-McCarthy #automation #composition #continuation #rest #web
- Automatically RESTful web applications: marking modular serializable continuations (JAM), pp. 299–310.