We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently denned the functor and monad classes, together with their laws, and implemented state and resumption monad transformers as generic constructor class instances. This is a step towards our goal of giving modular denotational semantics for concurrent lazy functional programming languages, such as GHC Haskell. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Huffman, B., Matthews, J., & White, P. (2005). Axiomatic constructor classes in Isabelle/HOLCF. In Lecture Notes in Computer Science (Vol. 3603, pp. 147–162). Springer Verlag. https://doi.org/10.1007/11541868_10
Mendeley helps you to discover research relevant for your work.