Dependently Typed Attribute Grammars

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra. Dependently Typed Attribute Grammars. In Jurriaan Hage, Marco T. Morazán, editors, Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers. Volume 6647 of Lecture Notes in Computer Science, pages 105-120, Springer, 2010. [doi]

Abstract

Abstract is missing.