Typing Haskell in Haskell Export

@misc{citeulike:577965, abstract = {Haskell benefits from a sophisticated type system, but implementors, programmers, and researchers suffer because it has no formal description. To remedy this shortcoming, we present a Haskell program that implements a Haskell typechecker, thus providing a mathematically rigorous specification in a notation that is familiar to Haskell users. We expect this program to fill a serious gap in current descriptions of Haskell, both as a starting point for discussions about existing features of the type ...}, author = {Jones, M.}, citeulike-article-id = {577965}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.8924}, keywords = {algorithm, compilers, functional-programming, haskell, type-inference, types}, posted-at = {2009-02-21 23:37:31}, priority = {2}, title = {Typing Haskell in Haskell}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.8924}, year = {1999} }

TY - GEN ID - citeulike:577965 L3 - citeulike-article-id:577965 N2 - Haskell benefits from a sophisticated type system, but implementors, programmers, and researchers suffer because it has no formal description. To remedy this shortcoming, we present a Haskell program that implements a Haskell typechecker, thus providing a mathematically rigorous specification in a notation that is familiar to Haskell users. We expect this program to fill a serious gap in current descriptions of Haskell, both as a starting point for discussions about existing features of the type ... TI - Typing Haskell in Haskell KW - algorithm KW - compilers KW - functional-programming KW - haskell KW - type-inference KW - types AU - Jones, M PY - 1999/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.8924 ER -