Drafts and Submissions
(with L. Caires, F. Pfenning, and B. Toninho) [DRAFT]
Presented at MSC'14 (12/02/2014) and at Comete-Parsifal seminar - LIX, Ecole Polytechnique (7/11/2013)
(with L. Caires, J. Seco, H. T. Vieira, and L. Ferrão.)
Extended, revised version of the ESOP'11 paper. Journal submission.
[Supersedes our FORTE/FMOODS'11 paper.] [DOI]
Supervisor: Davide Sangiorgi