Atze Dijkstra S. Doaitse Swierstra Typing Haskell with an Attribute Grammar. 1-72 2004 conf/afp/2004 Advanced Functional Programming https://doi.org/10.1007/11546382_1 db/conf/afp/afp2004.html#DijkstraS04