Realization of Coinductive Types
File(s)
Permanent Link(s)
Author
Kozen, Dexter
Abstract
We give an explicit combinatorial construction of final coalgebras for a modest generalization of polynomial functors on Set. Type signatures are modeled as directed multigraphs instead of endofunctors. The final coalgebra for a type signature F involves the notion of Brzozowski derivative on sets of paths in F.
Date Issued
2011-03-01
Keywords
Type
technical report