A Class of Commuting Relators (1992)

Cached

Download Links

by Roland Backhouse , Henk Doornbos , Paul Hoogendijk
Venue:Utrecht University, Dept Computer Science
Citations:9 - 2 self

Active Bibliography

Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
Mendler-Style Inductive Types, Categorically (Extended Abstract) – Tarmo Uustalu, Varmo Vene - 1998
A Relational Perspective on Types With Laws – Ed Voermans, Jaap van der Woude - 1993
State-Based Functional Programming – Maarten Fokkinga - 1993
Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
Meta-Programming with Tabaluga – Jan Kort, Ralf Lämmel, Joost Visser
Least and Greatest Fixed Points in Intuitionistic Natural Deduction – Tarmo Uustalu, Varmo Vene - 2002
Towards a Theory of Moa – Maarten Fokkinga - 2000
1 Generation of Efficient Programs for Solving Maximum Multi-Marking Problems – Isao Sasano, Zhenjiang Hu, Masato Takeichi - 2001
7 The Dual of Substitution is Redecoration – Tarmo Uustalu, Varmo Vene - 2002
1 Automated soundness checking of a programming logic for Haskell – Richard Kieburtz
1 Calculating linear time algorithms for solving maximum weightsum problems – Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa - 2001
2 Towards a Modular Program Derivation via Fusion and Tupling – Wei-Ngan Chin, Zhenjiang Hu - 2002
5 The Calculation of a Polytypic Parser – Marieke Huisman - 1996
2 Prototyping Processes – L.S. Barbosa - 1999
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
4 Calculate Categorically! – Maarten Fokkinga - 1992
1 Category Theory as Coherently Constructive Lattice Theory – Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude - 1998
1 A Summary of Refinement Theory – Maarten Fokkinga, Converse R - 1994
1 Generation of Efficient Algorithms for Maximum Marking Problems – Isao Sasano