Publications
"A type system for flexible role assignment in multiparty communicating systems",
Trustworthy Global Computing: Springer Berlin Heidelberg, pp. 82–96, 2013.
Dynamic Roles in Multiparty Communicating Systems,
: UNL-DI-1–2012, Universidade Nova de Lisboa, 2012.
"Linearly refined session types",
arXiv preprint arXiv:1211.4099, 2012.