A sound polymorphic type system for a dialect of C

This publication has 8 references indexed in Scilit:

• Polymorphic typing of variables and references
  ACM Transactions on Programming Languages and Systems, 1996
• A note on “A simplified account of polymorphic references”
  Information Processing Letters, 1996
• Simple imperative polymorphism
  Higher-Order and Symbolic Computation, 1995
• A type soundness proof for variables in LCF ML
  Information Processing Letters, 1995
• A Syntactic Approach to Type Soundness
  Information and Computation, 1994
• A simplified account of polymorphic references
  Information Processing Letters, 1994
• Standard ML Weak Polymorphism Can Be Sound
  Published by Defense Technical Information Center (DTIC) ,1993
• Type inference for polymorphic references
  Information and Computation, 1990