Intensional polymorphism in type-erasure semantics
- 29 September 1998
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (1), 301-312
- https://doi.org/10.1145/289423.289459
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- Flexible representation analysisPublished by Association for Computing Machinery (ACM) ,1997
- TILPublished by Association for Computing Machinery (ACM) ,1996
- From region inference to von Neumann machines via region representation inferencePublished by Association for Computing Machinery (ACM) ,1996
- Typed closure conversionPublished by Association for Computing Machinery (ACM) ,1996
- Compiling polymorphism using intensional type analysisPublished by Association for Computing Machinery (ACM) ,1995
- Abstract models of memory managementPublished by Association for Computing Machinery (ACM) ,1995
- Compiler-directed type reconstruction for polymorphic languagesPublished by Association for Computing Machinery (ACM) ,1993
- 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 TypesPublished by Elsevier ,1971