All Stories

  1. Borrowing from Session Types

    Article • Proceedings of the ACM on Programming Languages, October 2025, ACM (Association for Computing Machinery)

    Vasco T. Vasconcelos

  2. Parameterized Algebraic Protocols

    Article • Proceedings of the ACM on Programming Languages, June 2023, ACM (Association for Computing Machinery)

    Vasco T. Vasconcelos

  3. A Type Discipline for Message Passing Parallel Programs

    Article • ACM Transactions on Programming Languages and Systems, December 2022, ACM (Association for Computing Machinery)

    Vasco T. Vasconcelos

  4. Gradual session types

    Article • Proceedings of the ACM on Programming Languages, August 2017, ACM (Association for Computing Machinery)

    Professor Philip Wadler, Vasco T. Vasconcelos, Atsushi Igarashi

  5. Foundations of Session Types and Behavioural Contracts

    Article • ACM Computing Surveys, July 2016, ACM (Association for Computing Machinery)

    Vasco T. Vasconcelos, Marco Carbone

  6. Protocol-based verification of message-passing parallel programs

    Article • ACM SIGPLAN Notices, December 2015, ACM (Association for Computing Machinery)

    Vasco T. Vasconcelos, Eduardo Marques

  7. Protocol-based verification of message-passing parallel programs

    Article • October 2015, ACM (Association for Computing Machinery)

    Vasco T. Vasconcelos

  8. Linearity, session types and the Pi calculus

    Article • Mathematical Structures in Computer Science, November 2014, Cambridge University Press

    Vasco T. Vasconcelos