A typed pattern calculus

DOI10.1006/inco.1996.0004zbMath0844.68021OpenAlexW2145044561MaRDI QIDQ1908354

Delia Kesner, Laurence Puel, Val Tannen

Publication date: 27 March 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2368d236374d5333983df34d8b5954e496e38f1d

zbMATH Keywords

pattern-matching function

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items

Pattern matching as cut elimination, Strong normalisation in two Pure Pattern Type Systems, Expression reduction systems with patterns, Recursive Functions with Pattern Matching in Interaction Nets, Unnamed Item, From Functional Programs to Interaction Nets via the Rewriting Calculus