Axiomatic constructor classes in Isabelle/HOLCF (2005)

by B Huffman, J Matthews, P White
Venue:3603 of LNCS