@hackage compdata-automata0.9
Tree automata on Compositional Data Types
Categories
License
BSD-3-Clause
Maintainer
paba@di.ku.dk
Links
Versions
Installation
Dependencies (4)
- base >=4.7
- compdata >=0.9 && <0.10
- containers
- projection Show all…
Dependents (1)
@hackage/acme-everything
This library extends the compdata package with advanced recursion
schemes derived from tree automata. These recursion schemes allow
for a higher degree of modularity and make it possible to apply
fusion. See Modular Tree Automata (Mathematics of Program
Construction, 263-299, 2012,
http://dx.doi.org/10.1007/978-3-642-31113-0_14) and
Programming Macro Tree Transducers (Workshop on Generic Programming, 61-72,
2013, http://dx.doi.org/10.1145/2502488.2502489).