Lorenzo Bettini. A DSL for writing type systems for Xtext languages. In Christian W. Probst, Christian Wimmer, editors, Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011, Kongens Lyngby, Denmark, August 24-26, 2011. pages 31-40, ACM, 2011. [doi]
Abstract is missing.