Luís Barbosa Jácome Cunha Joost Visser A type-level approach to component prototyping. 23-36 2007 SYANCO http://doi.acm.org/10.1145/1294917.1294920 conf/sigsoft/2007syanco db/conf/sigsoft/syanco2007.html#BarbosaCV07