1. Lorenzo Bettini, Dietmar Stoll, Markus Völter, and Serano Colameo. 2012. Approaches and Tools for Implementing Type Systems in Xtext. In Software Language Engineering, 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science) , Krzysztof Czarnecki and Görel Hedin (Eds.), Vol. 7745. Springer, 392–412.
2. Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, and Mira Mezini. 2015. A co-contextual formulation of type rules and its application to incremental type checking. In OOPSLA. ACM, 880–897.
3. Ronald Garcia, Alison M. Clark, and Éric Tanter. 2016. Abstracting gradual typing. In POPL. ACM, 429–442.
4. Todd J. Green, Shan Shan Huang, Boon Thau Loo, and Wenchao Zhou. 2013. Datalog and Recursive Query Processing. Foundations and Trends in Databases 5, 2 (2013), 105–195.
5. Görel Hedin. 2000. Reference Attributed Grammars. Informatica (Slovenia) 24, 3 (2000).