200 search results - page 22 / 40 » The Intensional Lambda Calculus |
JFLP
2000
13 years 9 months ago
2000
JFP
2002
13 years 9 months ago
2002
CORR
2010
Springer
13 years 9 months ago
2010
Springer
FPCA
1989
14 years 1 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...
ENTCS
2000
13 years 9 months ago
2000
The region calculus of Tofte and Talpin is an annotated polymorphically typed lambda calculus which makes memory allocation and deallocation explicit. It is intended as an interme...