| Lambda Calculus with Patterns (2008) | |||||||||||||||
Abstract | |||||||||||||||
| Abstract. In this paper we revisit the λ-calculus with patterns, originating from the practice of functional programming language design. We treat this feature in a framework ranging from pure λ-calculus to orthogonal combinatory reduction systems. 1 | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||