Type Specialization for Imperative Languages.

Dirk Dussart, John Hughes, Peter Thiemann

Browse the full ICFP paper archive.