Mark P Jones: Typing Haskell in Haskell - discu.eu

Reddit

Typing Haskell in Haskell: "... we present a Haskell program that implements a Haskell typechecker... " http://web.cecs.pdx.edu/~mpj/thih/ 2 comments 20/1/2009 haskell

Typing Haskell In Haskell http://web.cecs.pdx.edu/~mpj/thih/ 4 comments 3/4/2008 programming

Linking pages

Rascal: a Haskell with more parentheses https://lexi-lambda.github.io/blog/2017/01/02/rascal-a-haskell-with-more-parentheses/ 66 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:web.cecs.pdx.edu

Search title: Mark P Jones: Typing Haskell in Haskell

See how to search.

Submit link to: