Just Testing

Lambda Science
About Me

I research and teach programming languages, compilers, and their applications at the University of New South Wales (UNSW), Sydney. My main interest is in functional and parallel programming, and in particular, in Haskell.


My Twitter handle is TacticalGrace.
Check out my UNSW website.

My Other Sites
     
Tags
Get Updates
Filed under

gadts

See all posts on posterous with this tag ยป

Complete and Decidable Type Inference for GADTs.

http://tomschrijvers.blogspot.com/2009/03/complete-and-decidable-type-inferennce.html

Loading mentions Retweet
Filed under  //  gadts   haskell   types  
Comments (0)
Posted 1 year ago