A transformational approach to generic software development based on higher-order, typed functional signatures

Daniel Lincke. A transformational approach to generic software development based on higher-order, typed functional signatures. PhD thesis, Hamburg University of Technology, 2012. [doi]

Abstract

Abstract is missing.