265 search results - page 22 / 53 » Lambda calculus with patterns |
125
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
106
click to vote
FPCA
1989
15 years 3 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
14 years 11 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...
93
Voted
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...