Sciweavers

TCS
2008

Lambda calculus with patterns

13 years 3 months ago
Lambda calculus with patterns
The -calculus is an extension of the -calculus with a pattern matching facility. The form of the argument of a function can be speci ed and hence -calculus is more convenient than ordinary -calculus. We explore the basic theory of -calculus, establishing results such as con uence. In doing so, we nd some requirements for patterns that guarantee con uence. Our work can be seen as giving some foundations for implementations of functional programming languages.
Jan Willem Klop, Vincent van Oostrom, Roel C. de V
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TCS
Authors Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer
Comments (0)