A sound polymorphic type system for a dialect of C
- 30 September 1998
- journal article
- Published by Elsevier BV in Science of Computer Programming
- Vol. 32 (1-3), 49-72
- https://doi.org/10.1016/s0167-6423(97)00030-0
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Polymorphic typing of variables and referencesACM Transactions on Programming Languages and Systems, 1996
- A note on “A simplified account of polymorphic references”Information Processing Letters, 1996
- Simple imperative polymorphismHigher-Order and Symbolic Computation, 1995
- A type soundness proof for variables in LCF MLInformation Processing Letters, 1995
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- A simplified account of polymorphic referencesInformation Processing Letters, 1994
- Standard ML Weak Polymorphism Can Be SoundPublished by Defense Technical Information Center (DTIC) ,1993
- Type inference for polymorphic referencesInformation and Computation, 1990