Opening book details…
Can I read Lambda Calculus with Patterns on EtoBox?
Lambda Calculus with Patterns by Jan Willem Klop; Vincent van Oostrom; Roel de Vrijer is a Computer Science article available to read on EtoBox.
What is Lambda Calculus with Patterns about?
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.
Who reads Lambda Calculus with Patterns?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Jan Willem Klop; Vincent van Oostrom; Roel de Vrijer
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0304-3975)
- Published
- 2008
- Language
- EN
- Field
- Computer Science (Physical Sciences)