Information flow inference for ML
- 1 January 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (1) , 319-330
- https://doi.org/10.1145/503272.503302
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Type-based analysis of uncaught exceptionsACM Transactions on Programming Languages and Systems, 2000
- 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
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982