BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
R.Harper D.Tarditi J.G.Morrisett P.Cheng P.Lee
Talks about:
type (3) direct (2) compil (2) optim (2) til (2) ml (2) retrospect (1) singleton (1) equival (1) decid (1)

Person: Christopher A. Stone

DBLP DBLP: Stone:Christopher_A=

Contributed to:

POPL 20002000
Best of PLDI 20041996
PLDI 19961996

Wrote 3 papers:

POPL-2000-StoneH #equivalence
Deciding Type Equivalence with Singleton Kinds (CAS, RH), pp. 214–227.
Best-of-PLDI-1996-TarditiMCSHL96a #compilation #ml #named #optimisation
TIL: a type-directed, optimizing compiler for ML (with retrospective) (DT, JGM, PC, CAS, RH, PL), pp. 554–567.
PLDI-1996-TarditiMCSHL #compilation #ml #named #optimisation
TIL: A Type-Directed Optimizing Compiler for ML (DT, JGM, PC, CAS, RH, PL), pp. 181–192.

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.