116
Voted
FPCA
15 years 4 months ago
1989 
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
101
Voted
FPCA
15 years 4 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
92
Voted
FPCA
15 years 4 months ago
1989
One way to analyse programs is to to derive expressions for their computational behaviour. A time bound function (or worst-case complexity) gives an upper bound for the computatio...
94
Voted
FPCA
15 years 4 months ago
1989 
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
98
Voted
FPCA
15 years 4 months ago
1989  |
Programming Languages