Ted J. Biggerstaff. Automatically Solving Simultaneous Type Equations for Type Difference Transformations That Redesign Code. In Ina Schaefer, Ioannis Stamelos, editors, Software Reuse for Dynamic Systems in the Cloud and Beyond - 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings. Volume 8919 of Lecture Notes in Computer Science, pages 106-121, Springer, 2015. [doi]
Abstract is missing.