Flexible type analysis
- 1 September 1999
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (9) , 233-248
- https://doi.org/10.1145/317636.317906
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Intensional polymorphism in type-erasure semanticsPublished by Association for Computing Machinery (ACM) ,1998
- Generational stack collection and profile-driven pretenuringPublished by Association for Computing Machinery (ACM) ,1998
- Flexible representation analysisPublished by Association for Computing Machinery (ACM) ,1997
- Primitive recursion for higher-order abstract syntaxLecture Notes in Computer Science, 1997
- Inductive, coinductive, and pointed typesPublished by Association for Computing Machinery (ACM) ,1996
- TILPublished by Association for Computing Machinery (ACM) ,1996
- Typed closure conversionPublished by Association for Computing Machinery (ACM) ,1996
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- Inductive types and type constraints in the second-order lambda calculusAnnals of Pure and Applied Logic, 1991
- 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