Sciweavers

1 search results - page 1 / 1
» Axiomatic Constructor Classes in Isabelle HOLCF
Sort
View
TPHOL
2005
IEEE
14 years 4 months ago
Axiomatic Constructor Classes in Isabelle/HOLCF
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
Brian Huffman, John Matthews, Peter White