Publications

Export 5 results:
Sort by: Author Title Type [ Year (Desc)]
2015
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
2013
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
Domingues, Miguel Brazão, and João Costa Seco Typeful Updates on Reactive Live Web Programming. Universidade Nova de Lisboa, 2013.techreport-2013.pdf
2011
Caires, L., Jorge A. Perez, J. C. Seco, Hugo T. Vieira, and Lúcio Ferrão. "Type-based Access Control in Data-Centric Systems." Programming Languages and Systems, 20th European Symposium on Programming, ESOP 2011. Ed. Gilles Barthe. Lecture Notes in Computer Science. Springer-Verlag, 2011.
application/pdf icontbac.pdf
2006
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