Lambda calculus with patterns

J.W. Klop, V. van Oostrom, R.C. de Vrijer

Research output: Contribution to JournalArticleAcademicpeer-review

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. © 2008.
Original languageEnglish
Pages (from-to)16-31
JournalTheoretical Computer Science
Volume398
Issue number1-3
DOIs
Publication statusPublished - 2008

Bibliographical note

DBLP:journals/tcs/KlopOV08

Fingerprint Dive into the research topics of 'Lambda calculus with patterns'. Together they form a unique fingerprint.

Cite this