Designing Circuits By Calculation (1990)

Cached

Download Links

by Geraint Jones , Geraint Jones
Citations:19 - 1 self

Documents Related by Co-Citation

1312 Monads for functional programming – Philip Wadler - 1995
84 Algebraic Data Types and Program Transformation – G Malcolm - 1990
81 Circuit design in Ruby – Geraint Jones, Mary Sheeran - 1990
10 Relations + higher-order functions = hardware descriptions – Geraint Jones, Mary Sheeran - 1987
96 Algorithmics: Towards programming as a mathematical activity – L Meertens - 1986
42 Calculating compilers – E Meijer - 1992
6 Ed Voermans and Jaap van der Woude. A relational theory of datatypes. Appears in [14 – Roland Backhouse - 1991
7 Regularity of relations: A measure of uniformity – A Jaoua, A Mili, N Boudriga, J L Durieux - 1991
21 Relations and Refinement in Circuit Design – Geraint Jones, Mary Sheeran - 1991
15 Between Functions and Relations in Calculating Programs – Graham Muir Hutton - 1992
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
27 Relations Binaires, Fermetures, Correspondances de Galois. Bulletin de la Société deMathématiques de France 76 – J Riguet - 1948
8 Describing butterfly networks in Ruby – Mary Sheeran - 1989
226 Predicate Calculus and Program Semantics – E W Dijkstra, C S Scholten - 1990
8 Relationen und Grafen – G Schmidt, T Strohlein - 1988
12 Timeless Truths about Sequential Circuits – Geraint Jones, Mary Sheeran - 1988