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) and
Programming Macro Tree Transducers
(Workshop on Generic Programming, 61-72, 2013).
forked from pa-ba/compdata-automata
Tree automata on Compositional Data Types (Multi)
License
ianmbloom/compdata-automata
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Tree automata on Compositional Data Types (Multi)
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Haskell 98.8%
- Shell 1.2%