Bastiaan Heeren Jurriaan Hage Type Class Directives. 253-267 http://dx.doi.org/10.1007/978-3-540-30557-6_19 2005 conf/padl/2005 PADL db/conf/padl/padl2005.html#HeerenH05