Typing Judgment Rules

Here are the typing judgement rules for (“harder” parts of) Haskell 2010 with two major extensions: RankNTypes and local assumptions (GADTs, Type Functions and etc). I’d highly appreciate if experts take a closer look at these and confirm their correctness. In this project, I strongly believe in support of Haskell community.

Apologies for not using LaTeX! they are shared with you just out of the oven.ImageImageImage

About Shayan

Researcher/Programmer at Chalmers University of Technology
This entry was posted in Articles. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s