Travelled to:1 × Portugal
2 × USA
Collaborated with:M.Felleisen C.Klein J.Clements C.Dimoulas M.Flatt J.A.McCarthy J.Rafkind S.Tobin-Hochstadt R.B.Findler
Talks about:acl (2) lightweight (1) research (1) manifest (1) practic (1) modular (1) toward (1) system (1) mechan (1) induct (1)
Person: Carl Eastlund
DBLP: Eastlund:Carl
Contributed to:
2012
2009
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.
- PADL-2009-EastlundF #towards
- Toward a Practical Module System for ACL2 (CE, MF), pp. 46–60.
- PPDP-2009-EastlundF #composition #induction
- Making induction manifest in modular ACL2 (CE, MF), pp. 105–116.