Principled scavenging
- 1 May 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- Fully reflexive intensional type analysisPublished by Association for Computing Machinery (ACM) ,2000
- Flexible type analysisPublished by Association for Computing Machinery (ACM) ,1999
- Typed memory management in a calculus of capabilitiesPublished by Association for Computing Machinery (ACM) ,1999
- Implementing typed intermediate languagesPublished by Association for Computing Machinery (ACM) ,1998
- Intensional polymorphism in type-erasure semanticsPublished by Association for Computing Machinery (ACM) ,1998
- From ML to Ada: Strongly-typed language interoperability via source translationJournal of Functional Programming, 1998
- Typed closure conversionPublished by Association for Computing Machinery (ACM) ,1996
- Compiling polymorphism using intensional type analysisPublished by Association for Computing Machinery (ACM) ,1995
- Representing Control: a Study of the CPS TransformationMathematical Structures in Computer Science, 1992
- A nonrecursive list compacting algorithmCommunications of the ACM, 1970