Atze Dijkstra, S. Doaitse Swierstra. Typing Haskell with an Attribute Grammar. In Varmo Vene, Tarmo Uustalu, editors, Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures. Volume 3622 of Lecture Notes in Computer Science, pages 1-72, Springer, 2004. [doi]
Abstract is missing.