Lambda calculus with patterns

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

doi:10.1016/j.tcs.2008.01.019

Lambda calculus with patterns

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

Research output: Contribution to Journal › Article › Academic › peer-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 language	English
Pages (from-to)	16-31
Journal	Theoretical Computer Science
Volume	398
Issue number	1-3
DOIs	https://doi.org/10.1016/j.tcs.2008.01.019
Publication status	Published - 2008

Bibliographical note

DBLP:journals/tcs/KlopOV08

Access to Document

10.1016/j.tcs.2008.01.019

Persistent URL (handle)

Copy link address

Cite this

@article{ca59ff5e780846d2a7a62298e3122066,

title = "Lambda calculus with patterns",

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. {\textcopyright} 2008.",

author = "J.W. Klop and {van Oostrom}, V. and {de Vrijer}, R.C.",

note = "DBLP:journals/tcs/KlopOV08 ",

year = "2008",

doi = "10.1016/j.tcs.2008.01.019",

language = "English",

volume = "398",

pages = "16--31",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "1-3",

}

TY - JOUR

T1 - Lambda calculus with patterns

AU - Klop, J.W.

AU - van Oostrom, V.

AU - de Vrijer, R.C.

N1 - DBLP:journals/tcs/KlopOV08

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

U2 - 10.1016/j.tcs.2008.01.019

DO - 10.1016/j.tcs.2008.01.019

M3 - Article

SN - 0304-3975

VL - 398

SP - 16

EP - 31

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-3

ER -

Lambda calculus with patterns

Abstract

Bibliographical note

Access to Document

Persistent URL (handle)

Fingerprint

Cite this