Datatype Laws without Signatures (1996)

by Maarten M. Fokkinga
Citations:22 - 6 self

Documents Related by Co-Citation

97 and Order in Algorithmics – Law - 1992
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
333 Theorems for free! – Philip Wadler - 1989
84 Algebraic data types and program transformation – G Malcolm - 1990
105 Data structures and program transformation – G Malcolm - 1990
1318 Monads for functional programming – Philip Wadler - 1995
397 Category Theory for Computing Science – M Barr, C Wells - 1990
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
458 Domain Theory – Samson Abramsky, Achim Jung - 1994