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
84 Algebraic Data Types and Program Transformation – G Malcolm - 1990
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
215 An introduction to the theory of lists – R S Bird - 1987
326 Theorems for free! – Philip Wadler - 1989
105 Data structures and program transformation – G Malcolm - 1990
96 Algorithmics: Towards programming as a mathematical activity – L Meertens - 1986
274 An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types – J A Goguen, J W Thatcher, E G Wagner - 1978
86 Algebraic Approaches to Program Semantics – E G Manes, M A Arbib - 1986
1312 Monads for functional programming – Philip Wadler - 1995
31 Category Theoretic Approach to Data Types – T Hagino - 1987
6 Categorical Programming with Abstract Data Types – Martin Erwig, Praktische Informatik Iv - 1998
55 The weakest prespecification – C A R Hoare, J He - 1986
6 Ed Voermans and Jaap van der Woude. A relational theory of datatypes. Appears in [14 – Roland Backhouse - 1991
3 Functional programming with relations. Proc. Third Glasgow Workshop on functional programming – Graham Hutton
7 Regularity of relations: A measure of uniformity – A Jaoua, A Mili, N Boudriga, J L Durieux - 1991
5 Designing arithmetic circuits by calculation – G Jones, M Sheeran - 1991
4 A calculational theory of pers as types. Appears – Graham Hutton, Ed Voermans
4 A simple guide to the Ruby simulator – Graham Hutton - 1991