|
77
|
Circuit design in ruby
– Geraint Jones, Mary Sheeran
- 1990
|
|
21
|
Relations and Refinement in Circuit Design
– Geraint Jones, Mary Sheeran
- 1991
|
|
19
|
Designing Circuits By Calculation
– Geraint Jones, Geraint Jones
- 1990
|
|
8
|
Relationen und Grafen
– G Schmidt, T Strohlein
- 1988
|
|
24
|
Designing Arithmetic Circuits by Refinement in Ruby
– Geraint Jones, Mary Sheeran
- 1992
|
|
6
|
The Ruby Interpreter
– Graham Hutton
- 1994
|
|
14
|
Describing and reasoning about circuits using relations
– Mary Sheeran
- 1986
|
|
13
|
Transformational Rewriting with Ruby
– Robin Sharp, Ole Rasmussen
- 1993
|
|
8
|
T-Ruby: A tool for handling Ruby expressions
– Robin Sharp
- 1996
|
|
6
|
The Ruby Framework
– Robin Sharp
- 1993
|
|
8
|
Describing butterfly networks in Ruby
– Mary Sheeran
- 1989
|
|
5
|
Partial relations for program derivation
– Paulo Veloso, Armando Haeberer
- 1991
|
|
30
|
Categories, relations and dynamic programming
– O de Moor
- 1994
|
|
26
|
Bicategories of spans and relations
– A Carboni, S Kasangian, R Street
- 1984
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
205
|
An introduction to the theory of lists
– R Bird
- 1987
|
|
7
|
Designing arithmetic circuits by refinement in
– Geraint Jones, Mary Sheeran
- 1994
|
|
198
|
On the calculus of relations
– A Tarski
- 1941
|
|
7
|
Retiming and slowdown
– Mary Sheeran
- 1988
|
