Article contents
Weak polymorphism can be sound
Published online by Cambridge University Press: 07 November 2008
Abstract
The weak polymorphic type system of Standard ML of New Jersey (SML/NJ) (MacQueen, 1992) has only been presented as part of the implementation of the SML/NJ compiler, not as a formal type system. As a result, it is not well understood. And while numerous versions of the implementation have been shown unsound, the concept has not been proved sound or unsound. We present an explanation of weak polymorphism and show that a formalization of this is sound. We also relate this to the SML/NJ implementation of weak polymorphism through a series of type systems that incorporate elements of the SML/NJ type inference algorithm.
- Type
- Articles
- Information
- Copyright
- Copyright © Cambridge University Press 1996
References
- 3
- Cited by
Discussions
No Discussions have been published for this article.