Daniel Lincke. A transformational approach to generic software development based on higher-order, typed functional signatures. PhD thesis, Hamburg University of Technology, 2012. [doi]
@phdthesis{dnb-864,
title = {A transformational approach to generic software development based on higher-order, typed functional signatures},
author = {Daniel Lincke},
year = {2012},
url = {http://d-nb.info/1048542858},
researchr = {https://researchr.org/publication/dnb-864},
cites = {0},
citedby = {0},
school = {Hamburg University of Technology},
}