Syntactic Type Soundness for HM(X)

This publication has 6 references indexed in Scilit:

• A Systematic Approach to Static Access Control
  Published by Springer Nature ,2001
• A General Type Inference Framework for Hindley/Milner Style Systems
  Published by Springer Nature ,2001
• Information flow inference for free
  Published by Association for Computing Machinery (ACM) ,2000
• Type inference with constrained types
  Theory and Practice of Object Systems, 1999
• Simple imperative polymorphism
  Higher-Order and Symbolic Computation, 1995
• A Syntactic Approach to Type Soundness
  Information and Computation, 1994