NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

reference. Haskell-style type classes with isabelle/isar [haftmann2013haskell]
✍️source

  • 2013
  • Florian Haftmann
@misc{haftmann2013haskell,
 title = {Haskell-style type classes with Isabelle/Isar},
 author = {Haftmann, Florian},
 year = {2013},
 urtl = {https://isabelle.in.tum.de/doc/classes.pdf}
}