Sciweavers

194 search results - page 17 / 39
» An Introduction to the Lambda Calculus
Sort
View
BIRTHDAY
2005
Springer
15 years 11 months ago
Sharing in the Weak Lambda-Calculus
Tomasz Blanc, Jean-Jacques Lévy, Luc Marang...
SOCO
2005
Springer
15 years 11 months ago
A Lambda Calculus with Forms
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
Markus Lumpe
LICS
1999
IEEE
15 years 10 months ago
Region Analysis and the Polymorphic Lambda Calculus
Anindya Banerjee, Nevin Heintze, Jon G. Riecke
PEPM
1998
ACM
15 years 10 months ago
Partial Evaluation for the Lambda Calculus
Neil D. Jones, Carsten K. Gomard, Peter Sestoft