Vasco T. Vasconcelos

Linear type theory for asynchronous session types

Simon J. Gay, Vasco T. Vasconcelos · Journal of Functional Programming · 2009 · 206 citations · Full text

Computing, Computer Science, Computer Systems +16

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication

Nobuko Yoshida, Vasco T. Vasconcelos · Electronic Notes in Theoretical Computer Science · 2007 · 134 citations · Full text

Computing, Communication, Computer Science +14

Fundamentals of session types

Vasco T. Vasconcelos · Information and Computation · 2012 · 118 citations

Computing, Computer Science, Data Structures +7

Type checking a multithreaded functional language with session types

Vasco T. Vasconcelos, Simon J. Gay, António Ravara · Theoretical Computer Science · 2006 · 97 citations

Computing, Computer Engineering, Computer Science +12

Modular session types for distributed object-oriented programming

Simon J. Gay, Vasco T. Vasconcelos, António Ravara et al. · 2010 · 86 citations

Computing, Computer Science, Distributed Systems +16