Dirk Dussart John Hughes Peter Thiemann Type Specialization for Imperative Languages. 204-216 1997 conf/icfp/1997 ICFP db/conf/icfp/icfp97.html#DussartHT97 http://doi.acm.org/10.1145/258948.258968