Lambda calculus with patterns
| Author(s) : | Vincent Van Oostrom, |
| Publisher : | N/A |
| Publication Date : | 1990 |
| ISSN : | N/A |
| Abstract : | The OE-calculus is an extension of the-calculus with a pattern matching facility. The form of the argument of a function can be specified and hence OE-calculus is more convenient than ordinary-calculus. We explore the basic theory of OE-calculus, establishing results such as confluence. In doing so, we find some requirements for patterns that guarantee confluence. Our work can be seen as giving some foundations for implementations of functional programming languages. 1., |