Article contents
Special Issue on ML
Published online by Cambridge University Press: 07 November 2008
Extract
The MetaLanguage of the Edinburgh LCF theorem proving system has become a programming language in its own right, popular among a reasonably wide segment of the research community. ML has also become a lingua franca among applied type theorists, as they investigate type systems for the 90's as extensions of the remarkably influential Hindley-Milner type system.
- Type
- Articles
- Information
- Copyright
- Copyright © Cambridge University Press 1993
- 1
- Cited by
Discussions
No Discussions have been published for this article.