Typing Haskell in Haskell (1999) [48 citations — 2 self]
Download:
http://cse.cse.ogi.edu/PacSoft/publications/2000/t
http://www.cse.ogi.edu/~mpj/thih/thihA4.ps.gz
CACHED:
http://cse.cse.ogi.edu/PacSoft/publications/2000/t
http://www.cse.ogi.edu/~mpj/thih/thihA4.ps.gz
CACHED:
by
Mark P. Jones
Haskell Workshop
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Jones99typinghaskell,
author = {Mark P. Jones},
title = {Typing Haskell in Haskell},
booktitle = {Haskell Workshop},
year = {1999},
publisher = {}
}
author = {Mark P. Jones},
title = {Typing Haskell in Haskell},
booktitle = {Haskell Workshop},
year = {1999},
publisher = {}
}
Years of Citing Articles
Bookmarks
OpenURL
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 system, and as a platform from which to explore new proposals.
Citations
No citations identified.
