Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures

Daniel Lincke, Sibylle Schupp, Cezar Ionescu. Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures. STTT, 17(1):91-105, 2015. [doi]

Authors

Daniel Lincke

This author has not been identified. It may be one of the following persons: Look up 'Daniel Lincke' in Google

Sibylle Schupp

This author has not been identified. It may be one of the following persons: Look up 'Sibylle Schupp' in Google

Cezar Ionescu

This author has not been identified. It may be one of the following persons: Look up 'Cezar Ionescu' in Google