Polymorphic Equality - No Tags Required (1989)

Cached

Download Links

by Martin Elsman
Venue:In Proceedings of the 2nd International Workshop on Types in Compilation, Kyoto
Citations:4 - 0 self

Active Bibliography

65 Flexible representation analysis – Zhong Shao - 1997
11 Programming With Types – Stephanie Claudene Weirich - 2002
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
5 Compiling with Polymorphic and Polyvariant Flow Types – Franklyn Turbak, Allyn Dimock, Robert Muller, J. B. Wells - 1997
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
12 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997
22 A Typed Intermediate Language for Flow-Directed Compilation – J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak - 1997
34 Typed Cross-Module Compilation – Zhong Shao - 1998
Signature: A Type-Passing Implementation of Value Types and Genericity – Tim Owen, Tim Owen
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
2 An overview of Types in Compilation – Xavier Leroy - 1998
2 An Unboxed Operational Semantics for ML Polymorphism – Atsushi Ohori, Tomonobu Takamizawa - 1997
102 Compiling with Types – Greg Morrisett - 1995
5 Programming Language Semantics in Foundational Type Theory – K. Crary - 1996
13 Optimal Type Lifting – Bratin Saha, Zhong Shao - 1998