Documents Related by Co-Citation

234 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
267 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
634 Compiling with Continuations – A Appel - 1992
177 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
274 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1165 Proof-Carrying Code – George C. Necula - 1997
200 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991