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]
@inproceedings{Biggerstaff15,
title = {Automatically Solving Simultaneous Type Equations for Type Difference Transformations That Redesign Code},
author = {Ted J. Biggerstaff},
year = {2015},
doi = {10.1007/978-3-319-14130-5_8},
url = {http://dx.doi.org/10.1007/978-3-319-14130-5_8},
researchr = {https://researchr.org/publication/Biggerstaff15},
cites = {0},
citedby = {0},
pages = {106-121},
booktitle = {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},
editor = {Ina Schaefer and Ioannis Stamelos},
volume = {8919},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-14129-9},
}