Denotational design with type class morphisms ( extended version )

@inproceedings{LambdaPix2016DenotationalDW,
  title={Denotational design with type class morphisms ( extended version )},
  author={Conal Elliott LambdaPix},
  year={2016}
}
  • Conal Elliott LambdaPix
  • Published 2016
Type classes provide a mechanism for varied implementations of standard interfaces. Many of these interfaces are founded in mathematical tradition and so have regularity not only of types but also of properties (laws) that must hold. Types and properties give strong guidance to the library implementor, while leaving freedom as well. Some of this remaining… CONTINUE READING