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
Publications
Export 4 results:
RTF
Tagged
XML
BibTex
Sort by: [
Author
]
Title
Type
Year
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
[T]
U
V
W
X
Y
Z
[
Show ALL
]
C
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.
bst-tr.pdf
D
Domingues, Miguel, and João Costa Seco
Type Safe Evolution of Live Systems
. Workshop on Reactive and Event-based Languages & Systems (REBLS'15). Pittsburgh, 2015.
rebls15.pdf
Domingues, Miguel Brazão, and João Costa Seco
Typeful Updates on Reactive Live Web Programming
. Universidade Nova de Lisboa, 2013.
techreport-2013.pdf
S
Seco, João Costa, and Luís Caires.
"
Types for Dynamic Reconfiguration
."
Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006
. 2006.
esop-final.pdf
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