Type Classes and Instance Chains: A Relational Approach
Type classes, first proposed during the design of the Haskell programming language, extend standard type systems to support overloaded functions. Since their introduction, type classes have been used to address a range of problems, from typing ordering and arithmetic operators to describing heteroge...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
PDXScholar
2013
|
| Subjects: | |
| Online Access: | https://pdxscholar.library.pdx.edu/open_access_etds/1010 https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=2009&context=open_access_etds |