December 2009
1 post
3 tags
Type inference for GADTs, and for Fortress?
I downloaded this a while back but just now getting to it: Tom Schrijvers, Simon Peyton-Jones, et al. Complete and decidable type inference for GADTs, ICFP 2009. I’m trying to think of ways to adapt their type inference algorithm for GADTs for use in Fortress. Their handling of implication constraints for type inference seems analogous to our problem of incorporating type inference and...