Towards an ML-style polymorphic type system for C
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 341-355
- https://doi.org/10.1007/3-540-61055-3_47
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Simple imperative polymorphismHigher-Order and Symbolic Computation, 1995
- A type soundness proof for variables in LCF MLInformation Processing Letters, 1995
- Compiling polymorphism using intensional type analysisPublished by Association for Computing Machinery (ACM) ,1995
- A simplified account of polymorphic referencesInformation Processing Letters, 1994
- Unboxed objects and polymorphic typingPublished by Association for Computing Machinery (ACM) ,1992
- Polymorphic type inference and assignmentPublished by Association for Computing Machinery (ACM) ,1991
- Type inference for polymorphic referencesInformation and Computation, 1990
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- Edinburgh LCFLecture Notes in Computer Science, 1979