Telecharger Cours

Haskell-style type classes with Isabelle/Isar

Type classes were introduced by Wadler and Blott [8] into the Haskell lan- guage to allow for a reasonable implementation of overloading1.



Download