http://research.microsoft.com/en-us/um/people/simonpj/papers/constraints/jfp-outsidein.pdf http://research.microsoft.com/en-us/um/people/simonpj/papers... to un

http://research.microsoft.com/en-us/um/people/simonpj/papers/constraints/jfp-outsidein.pdf http://research.microsoft.com/en-us/um/people/simonpj/papers... to understand the tradeoffs involved in building a state-of-the-art type checker for an expressive advanced type system. Look at the Haskell bug list around the type checker. Also, http://pchiusano.blogspot.com/2011/05/making-most-of-scalas-extremely-limited.html http://pchiusano.blogspot.com/2011/05/making-most-of-scalas-... Also, http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf Also, http://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/monad_zipper_draft.pdf http://people.cs.kuleuven.be/~tom.schrijvers/Research/papers...