Strongly Typed Flow-Directed Representation Transformations (Extended Abstract) (1997)

by Allyn Dimock , Robert Muller , Franklyn Turbak , J. B. Wells
Venue:In ICFP ’97 [ICFP97
Citations:29 - 13 self

Documents Related by Co-Citation

589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
54 A modular, polyvariant, and type-based closure analysis – Anindya Banerjee
226 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
619 Compiling with continuations – A W Appel - 1992
364 Towards a theory of type structure – J C Reynolds - 1974
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
238 Interprétation fonctionnelle et elimination des coupures de l’arithmétique d’ordre supérieur. Thèse d’état, Université de Paris 7 – J-Y Girard - 1972
1096 Proof-Carrying Code – George C. Necula - 1997
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996