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]

Possibly Related Publications

The following publications are possibly variants of this publication: