Luís Soares Barbosa. Software Components as Invariant-Typed Arrows - (Keynote Talk). In Francisco Heron de Carvalho Junior, Luís Soares Barbosa, editors, Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Volume 7554 of Lecture Notes in Computer Science, pages 1-5, Springer, 2012. [doi]
Abstract is missing.