Strongly typed flow-directed representation transformations (extended abstract)
- 1 August 1997
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 32 (8) , 11-24
- https://doi.org/10.1145/258948.258952
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A modular, polyvariant and type-based closure analysisPublished by Association for Computing Machinery (ACM) ,1997
- Flow-directed inliningPublished by Association for Computing Machinery (ACM) ,1996
- What are principal typings and what are they good for?Published by Association for Computing Machinery (ACM) ,1996
- Typed closure conversionPublished by Association for Computing Machinery (ACM) ,1996
- Intersection and Union Types: Syntax and SemanticsInformation and Computation, 1995
- A unified treatment of flow analysis in higher-order languagesPublished by Association for Computing Machinery (ACM) ,1995
- Type Inference for Recursively Constrained Types and its Application to OOPElectronic Notes in Theoretical Computer Science, 1995
- Soft typing with conditional typesPublished by Association for Computing Machinery (ACM) ,1994
- Continuation-passing, closure-passing stylePublished by Association for Computing Machinery (ACM) ,1989
- ORBIT: an optimizing compiler for schemePublished by Association for Computing Machinery (ACM) ,1986