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)

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

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)