1 search results - page 1 / 1 » Axiomatic Constructor Classes in Isabelle HOLCF |
TPHOL
2005
IEEE
13 years 10 months ago
2005
IEEE
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...