Extensible pattern matching via a lightweight language extension
From MaRDI portal
Publication:5168922
Recommendations
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
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)