The view from the left

Conor McBride, James McKinna

Research output: Contribution to journalReview article

183 Citations (Scopus)

Abstract

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
Volume14
Issue number1
DOIs
Publication statusPublished - Jan 2004

ASJC Scopus subject areas

  • Software

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

  • Cite this