Fully reflexive intensional type analysis
- 1 September 2000
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 35 (9) , 82-93
- https://doi.org/10.1145/351240.351248
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Flexible type analysisPublished by Association for Computing Machinery (ACM) ,1999
- Transparent modules with fully syntatic signaturesPublished by Association for Computing Machinery (ACM) ,1999
- Representing Java classes in a typed intermediate languagePublished by Association for Computing Machinery (ACM) ,1999
- Parametricity and variants of Girard's operatorInformation Processing Letters, 1999
- Encoding types in ML-like languagesPublished by Association for Computing Machinery (ACM) ,1998
- Flexible representation analysisPublished by Association for Computing Machinery (ACM) ,1997
- TILPublished by Association for Computing Machinery (ACM) ,1996
- Typed closure conversionPublished by Association for Computing Machinery (ACM) ,1996
- Bananas in spacePublished by Association for Computing Machinery (ACM) ,1995
- Towards a theory of type structureLecture Notes in Computer Science, 1974