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: Stone:Christopher_A=
Contributed to:
2000
19961996Wrote 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.