Special Issue on ML

1 October 1993

journal article
research article
Published by Cambridge University Press (CUP) in Journal of Functional Programming

Vol. 3 (4) , 389
https://doi.org/10.1017/s0956796800000812

Abstract

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.

Keywords

TYPE SYSTEM
INVESTIGATE TYPE
HINDLEY MILNER
MILNER TYPE
THEOREM PROVING
PROVING SYSTEM
RESEARCH COMMUNITY
LCF THEOREM
REMARKABLY INFLUENTIAL

This publication has 0 references indexed in Scilit: