@hackage / compdata-automata

Tree automata on Compositional Data Types

Latest0.9.2

About

Metadata

  • Last updated , by PatrickBahr
  • License BSD-3-Clause
  • Categories Generics

  • Maintained by: paba@itu.dk

  • Lottery factor: 0

Links

Installation

Readme

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).