Extensible pattern matching via a lightweight language extension

DOI10.1145/1291151.1291159MaRDI QIDQ5168922zbMATH OpenOpenAlexFDO

Authors Don Syme, Gregory Neverov, James Margetson

Publication date 21 July 2014

Published in Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1291151.1291159

zbMATH Keywords

functional programmingpattern matchingMLF\#

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Pattern matching with abstract data types
• A new look at pattern matching in abstract data types
• scientific article; zbMATH DE number 1954106
• Extended pattern matching for embedded languages
• Algebraic Pattern Matching in Join Calculus

Cited in

(12)

• Extended pattern matching for embedded languages
• Pattern matching for the masses using custom notations
• Translation Correctness for First-Order Object-Oriented Pattern Matching
• Extensible algebraic datatypes with defaults
• 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?)
• Functional semantics
• scientific article; zbMATH DE number 1533832 (Why is no real title available?)
• Pattern matching with abstract data types
• More Efficient Left-to-Right Pattern Matching in Non-sequential Equational Programs
• Statically checkable pattern abstractions

Describes a project that uses

Uses Software

• Scala
• CDuce
• F#
• Nemerle

This page was built for publication: Extensible pattern matching via a lightweight language extension

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