Deriving type checkers - Zuber, Martin; Linges, Fabian (Technische Universität Berlin, 2012)