A Language for the Specification and Efficient Implementation of Type Systems Published on 8.10.2015 studium tu-darmstadt
