Typing Haskell with an Attribute Grammar (Part I)
Atze Dijkstra, S. Doaitse Swierstra · Utrecht University Repository (Utrecht University) · 2004
The proceedings for the AFP2004 summerschool have yet to appear. 1 EHCommon 1 In this way we overcome a problem in Haskell, where it is required that the constructors for all data types are different.