The thih package

[Tags: bsd3, library, program]

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 system, and as a platform from which to explore new proposals.

This package is derived from the Haskell '98 + Multiparameter Type Classes package of THIH.


Properties

Version1.0
Dependenciesbase, pretty
LicenseBSD3
AuthorMark P Jones <mpj@cse.ogi.edu>
Maintainernone
StabilityStable
CategoryLanguage
Home pagehttp://web.cecs.pdx.edu/~mpj/thih/
Executablesthih
Upload dateFri Apr 4 21:21:36 UTC 2008
Uploaded byGwernBranwen
Downloads105 total (17 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees