Hostname: page-component-7f64f4797f-kg7gq Total loading time: 0.001 Render date: 2025-11-05T10:00:40.684Z Has data issue: false hasContentIssue false
  • English
  • Français

Special Issue on ML

Part of: JFP Research Articles

Published online by Cambridge University Press:  07 November 2008

Andrew W Appel  and
Robert Harper
Andrew W Appel
Affiliation:
Princeton University
Robert Harper
Affiliation:
Carnegie Mellon University
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Information

Type
Articles
Information
Journal of Functional Programming , Volume 3 , Issue 4 , October 1993 , pp. 389
Copyright
Copyright © Cambridge University Press 1993
Submit a response

Discussions

No Discussions have been published for this article.