Information flow inference for ML
Top Cited Papers
- 1 January 2003
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 25 (1) , 117-158
- https://doi.org/10.1145/596980.596983
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- JFlowPublished by Association for Computing Machinery (ACM) ,1999
- A core calculus of dependencyPublished by Association for Computing Machinery (ACM) ,1999
- The SLam calculusPublished by Association for Computing Machinery (ACM) ,1998
- Minimal typings in atomic subtypingPublished by Association for Computing Machinery (ACM) ,1997
- Analysis and caching of dependenciesPublished by Association for Computing Machinery (ACM) ,1996
- Simple imperative polymorphismHigher-Order and Symbolic Computation, 1995
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- The essence of compiling with continuationsPublished by Association for Computing Machinery (ACM) ,1993
- Comprehending monadsMathematical Structures in Computer Science, 1992
- Incremental reduction in the lambda calculusPublished by Association for Computing Machinery (ACM) ,1990