- Tarmo Uustalu and Varmo Vene. Mendler-Style
Inductive Types, Categorically. Nordic Journal of
Computing, 6(3):343-361, Fall 1999.
Abstract,
References,
Citations,
etc.
- Tarmo Uustalu, Varmo Vene, and Alberto Pardo. Recursion
Schemes from Comonads. Nordic Journal of Computing,
8(3):366-390, Fall 2001.
Abstract,
References,
etc.
Shortcuts: