Research papers/Type systems en Text text/html http://haskell.cs.yale.edu/haskellwiki/Research_papers/Type_systems 2009-11-09 Janis Voigtländer Martin Sulzmann Tom Schrijvers Antti Veikko Tapani Siponen Anton van Straaten angray@beeb.net Peter Berry Don Stewart Marcel Manthe Per Vognsen Matthew Brecknell Edward Kmett Bulat Ziganshin Jacques Le Normand