Results 1 -
1 of
1
Inductive Datatypes with Laws and Subtyping – A Relational Model
- Faculty of Mathematics and Computing
"... ..."
and Oege de Moor. Solving optimisation problems with catamorphisms (1992)
by Richard S Bird
| Venue: | 2nd International Conference on the Mathematics of Program Construction |
