Pattern matching with abstract data types

DOI10.1017/S095679680000068XMaRDI QIDQ3549259zbMATH OpenFDO

Authors R. D. Cameron, F. Warren Burton

Publication date 21 December 2008

Published in Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

pattern matchingfunctional programming languagesrepresentation of data

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• A new look at pattern matching in abstract data types
• Extensible pattern matching via a lightweight language extension
• The view from the left
• Functional and Logic Programming
• Gradual refinement. Blending pattern matching with data abstraction

Cites work

• Lawful functions and program verification in miranda

Cited in

(11)

• Extended pattern matching for embedded languages
• Translation Correctness for First-Order Object-Oriented Pattern Matching
• The view from the left
• A new look at pattern matching in abstract data types
• Gradual refinement. Blending pattern matching with data abstraction
• scientific article; zbMATH DE number 1954106 (Why is no real title available?)
• Extensible pattern matching via a lightweight language extension
• On the Implementation of Construction Functions for Non-free Concrete Data Types
• Warnings for pattern matching
• Functional pearl: a smart view on datatypes
• Statically checkable pattern abstractions

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Pattern matching with abstract data types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3549259)