Monads for the formalization of a pattern matching procedure
From MaRDI portal
Publication:2017780
DOI10.1134/S0361768814030074zbMath1325.68224MaRDI QIDQ2017780
Publication date: 23 March 2015
Published in: Programming and Computer Software (Search for Journal in Brave)
68T10: Pattern recognition, speech recognition
68T30: Knowledge representation
68Q65: Abstract data types; algebraic specification
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
Uses Software
Cites Work
- Combining effects: sum and tensor
- A categorical approach to unification of generalised terms1 1This work has been developed as a cooperation organised within COST 274.
- Anti-unification Algorithms and Their Applications in Program Analysis
- Monadic constraint programming
- Comprehending monads
- Every Standard Construction is Induced by a Pair of Adjoint Functors
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item