The view from the left

Conor McBride*, James McKinna

*Corresponding author for this work

Research output: Contribution to journalReview articlepeer-review

207 Citations (Scopus)


The notion of pattern matching in correlation with functional programming is discussed. The key feature of pattern matching in simply-typed languages is that the structure of an arbitrary value in a datatype is explained. Pattern matching analyzes constructor patterns on the left-hand sides of functional equations, and is defined by a subsystem of the operational semantics with hard-wired rules for computing substitution from the pattern variables to values. Elementary pattern matching may be recast in abstract form, with a semantics given by translation.

Original languageEnglish
Pages (from-to)69-111
Number of pages43
JournalJournal of Functional Programming
Issue number1
Publication statusPublished - Jan 2004

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'The view from the left'. Together they form a unique fingerprint.

Cite this