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]

No reviews for this publication, yet.