Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus (1989)
by
Peter Lee
,
Mark Leone
,
Spiro Michaylov
,
Frank Pfenning
| Citations: | 2 - 0 self |
BibTeX
@TECHREPORT{Lee89towardsa,
author = {Peter Lee and Mark Leone and Spiro Michaylov and Frank Pfenning},
title = {Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus},
institution = {},
year = {1989}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The value of polymorphism in programming languages has been demonstrated by languages such as ML [19]. Recent e cient implementations of ML have shown that a language with implicit polymorphism can be practical [1]. The core of ML's type system is limited, however, by the fact that only instances of polymorphic functions may be passed as arguments to other functions, but
