io-port 06109836 DeYoung, Henry; Caires, Luís; Pfenning, Frank; Toninho, Bernardo

Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPICS ‒ Leibniz International Proceedings in Informatics 16, 228-242, electronic only (2012).

io-port 06049307 Toninho, Bernardo; Caires, Luis; Pfenning, Frank

Birkedal, Lars (ed.), Foundations of software science and computational structures. 15th international conference, FOSSACS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28728-2/pbk). Lecture Notes in Computer Science 7213, 346-360 (2012).

io-port 06049282 Pérez, Jorge A.; Caires, Luís; Pfenning, Frank; Toninho, Bernardo

Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28868-5/pbk). Lecture Notes in Computer Science 7211, 539-558 (2012).

io-port 05977501 Pfenning, Frank; Caires, Luis; Toninho, Bernardo

Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 21-36 (2011).

io-port 70132450 Pfenning, Frank; Caires, Luís; Toninho, Bernardo

CPP, 21-36 (2011).

io-port 70685473 Toninho, Bernardo; Caires, Luís; Pfenning, Frank

PPDP, 161-172 (2011).

io-port 70000082 Toninho, Bernardo; Caires, Luís

SecCo, 1-15 (2010).