BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Eastlund:Carl

Contributed to:

POPL 20122012
PADL 20092009
PPDP 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.