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]

@inproceedings{MiddelkoopDS10-1,
  title = {Dependently Typed Attribute Grammars},
  author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
  year = {2010},
  doi = {10.1007/978-3-642-24276-2_7},
  url = {http://dx.doi.org/10.1007/978-3-642-24276-2_7},
  researchr = {https://researchr.org/publication/MiddelkoopDS10-1},
  cites = {0},
  citedby = {0},
  pages = {105-120},
  booktitle = {Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers},
  editor = {Jurriaan Hage and Marco T. Morazán},
  volume = {6647},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-24275-5},
}