Automatically Solving Simultaneous Type Equations for Type Difference Transformations That Redesign Code.

Ted J. Biggerstaff

Browse the full ICSR paper archive.