João Costa Seco
Professor Auxiliar, Departamento de Informática
Departamento de Informática, Faculdade de Ciências e Tecnologia, 2829-526 Caparica
(email)
Publications
Bio
Classes
Projects
Students
The Type Discipline of Behavioral Separation
Citation:
Caires, Luís, and João Costa Seco The Type Discipline of Behavioral Separation. 40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). Rome, Italy: ACM, 2013.
Export
RTF
Tagged
XML
BibTex
Preview
Attachment
Size
bst-tr.pdf
405.89 KB
Enter your keywords:
Recent Publications
Nested Data Manipulation in Distributed and Heterogeneous Environments -- extended version
Otimização automática de aplicações web usando templates client-side
Sistema de Runtime para uma Linguagem Web Reativa
Linguagem de manipulação de dados para NoSQL
Type Safe Evolution of Live Systems
A common data manipulation language for nested data in heterogeneous environments.
more