Calculate categorically (1992)

by Maarten M Fokkinga
Venue:Formal Aspects of Computing
Citations:4 - 0 self

Active Bibliography

19 Monadic Maps and Folds for Arbitrary Datatypes – Maarten Fokkinga - 1994
15 Between Functions and Relations in Calculating Programs – Graham Muir Hutton - 1992
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
22 Datatype Laws without Signatures – Maarten M. Fokkinga - 1996
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
41 Calculate Polytypically! – Lambert Meertens - 1996
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
Towards a Theory of Moa – Maarten Fokkinga - 2000
1 Category Theory as Coherently Constructive Lattice Theory – Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude - 1998
5 A Calculational Theory of Pers as Types – Graham Hutton, Ed Voermans - 1992
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
6 A Unifying Framework for Conceptual Data Modelling Concepts – P.J.M. Frederiks, A. H. M. Ter Hofstede, E. Lippe, A. H. M. Ter Hofstede - 1997
TA: set – Maarten M. Fokkinga, Tip A Ta - 2008
Submitted to ICFP’13 Unifying Recursion Schemes – Ralf Hinze, Nicolas Wu, Jeremy Gibbons
59 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
6 Categorical Fixed Point Calculus – Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude - 1995