Barbosa, LuísCunha, JácomeVisser, Joost2025-03-212025-03-212007Barbosa, Luís; Cunha, Jácome; Visser, Joost. A type-level approach to component prototyping, Trabalho apresentado em International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07, In International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07, Dubrovnik, Croatia, 2007.http://hdl.handle.net/10400.22/298542013-07-11