Intensional polymorphism in type-erasure semantics
Authors:
Open Access
- 29 September 1998
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (1) , 301-312
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- Flexible representation analysis1997
- TIL1996
- From region inference to von Neumann machines via region representation inference1996
- Typed closure conversion1996
- Compiling polymorphism using intensional type analysis1995
- Abstract models of memory management1995
- Compiler-directed type reconstruction for polymorphic languages1993
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988
- The Type Theory of PL/CV3ACM Transactions on Programming Languages and Systems, 1984
- Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types1971