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

F\#functional programmingMLpattern matching

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)

• A new look at pattern matching in abstract data types
• Extended pattern matching for embedded languages
• Translation Correctness for First-Order Object-Oriented Pattern Matching
• Pattern matching with abstract data types
• More Efficient Left-to-Right Pattern Matching in Non-sequential Equational Programs
• Gradual refinement. Blending pattern matching with data abstraction
• Pattern matching for the masses using custom notations
• scientific article; zbMATH DE number 1954106 (Why is no real title available?)
• scientific article; zbMATH DE number 1533832 (Why is no real title available?)
• Extensible algebraic datatypes with defaults
• Statically checkable pattern abstractions
• Functional semantics

Describes a project that uses

Uses Software

• F#
• Nemerle
• CDuce
• Scala

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)