A minimalistic look at widening operators David Monniaux OriginalPaper 17 December 2009 Pages: 145 - 154
A principled approach to programming with nested types in Haskell Patricia JohannNeil Ghani OriginalPaper 17 December 2009 Pages: 155 - 189