Fatma Mili. Computer program construction (1994)

by Ali Mili, Jules Desharnais
Results 1 - 1 of 1

Inductive Datatypes with Laws and Subtyping – A Relational Model

by Theodorus Sebastiaan Voermans - Faculty of Mathematics and Computing
"... ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
Abstract not found