Pattern matching with abstract data types

DOI10.1017/S095679680000068XzbMATH Open1345.68040MaRDI QIDQ3549259FDOQ3549259

Authors: R. D. Cameron, F. Warren Burton 

Publication date: 21 December 2008

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

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

zbMATH Keywords

pattern matchingfunctional programming languagesrepresentation of data

Mathematics Subject Classification ID

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

Cites Work

• Lawful functions and program verification in miranda

Cited In (11)

• Warnings for pattern matching
• Extended pattern matching for embedded languages
• Title not available (Why is that?)
• 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

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)