239 search results - page 1 / 48 » The Safe Lambda Calculus |
116
click to vote
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
ECOOP
1998
Springer
15 years 3 months ago
1998
Springer
The last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of Obje...
132
click to vote
APLAS
2001
ACM
15 years 3 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
88
Voted
ESOP
2012
Springer
13 years 7 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...