Standard ML-NJ weak polymorphism and imperative constructs
- 30 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Standard ML of New Jersey (SML-NJ) uses "weak type variables" to restrict the polymorphic use of functions that may allocate reference cells, manipulate continuations, or use exceptions. However, the type system used in the SML-NJ compiler has not been presented in a form other than source code and has not been proved correct. We present a type system, in the form of typing rules and an equivalent algorithm, that appears to subsume the implemented algorithm. Both use type variables of only a...Keywords
This publication has 8 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- The type and effect disciplinePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Typing references by effect inferencePublished by Springer Nature ,1992
- Polymorphic type inference and assignmentPublished by Association for Computing Machinery (ACM) ,1991
- Standard ML of New JerseyPublished by Springer Nature ,1991
- Type inference for polymorphic referencesInformation and Computation, 1990
- A standard ML compilerPublished by Springer Nature ,1987
- The Principal Type-Scheme of an Object in Combinatory LogicTransactions of the American Mathematical Society, 1969