Classes de tipos com múltiplos parâmetros e opcionais em haskell
=== The introduction of multi-parameter type classes in Haskell has been hindered because of problems associated to ambiguity, which occur due to the lack of type specialization during type inference. This work proposes a new type system for Haskell that supports the definition of multi-parameter t...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal de Minas Gerais
2013
|
| Online Access: | http://hdl.handle.net/1843/ESBF-9GMJLU |