4107 search results - page 3 / 822 » The Generalized Lambda Test |
CSL
1999
Springer
15 years 4 months ago
1999
Springer
191
click to vote
POPL
2009
ACM
16 years 9 days ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
106
click to vote
ENTCS
2002
14 years 11 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
81
Voted
ICFP
1996
ACM
15 years 3 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
111
click to vote
CTCS
1987
Springer
15 years 3 months ago
1987
Springer
A typed lambda calculus with categorical type constructors is introduced. It has a uniform category theoretic mechanism to declare new types. Its type structure includes categoric...