Publications

• The types of dyadic interaction, a tribute to Kohei Honda
  Costa, D., Mordido, A., Poças, D. and Vasconcelos, V. T. @ IFIP WG 2.8 2026

• Types as grammars
  Silva, G., Almeida, B., Costa, D., Mordido, A., Poças, D. and Vasconcelos, V. T.
  Talk @ WITS 2026

• Kind inference for the FreeST programming language
  Almeida, B., Mordido, A. and Vasconcelos, V.T.
  J. Log. Algebraic Methods Program. 148:101083, 2026

• Simple grammar bisimilarity, with an application to session type equivalence
  Poças, D., Silva, G., and Vasconcelos, V.T.
  arXiv, 2025
  Talk @ Seminário de Lógica Matemática, 2026

• Polymorphic higher-order context-free session types
  Costa, D., Mordido, A., Poças, D. and Vasconcelos, V.T.
  Theor. Comput. Sci. 1001: 114582, 2024

• Programming with T ; U
  Almeida, B. and others
  Talk @ PL@LX. 2024.

• Improving Parallel and Concurrent Programming in FreeST
  Lopes, G.
  Master’s Thesis @ University of Lisbon, 2024
  Slides

• FreeST and Polymorphic Higher-order Session Types
  Vasconcelos, V.T.
  Talk @ Nagoya University. 合同研究会 拡大 workshop, 2023

• Subtyping context-free session types
  Silva, G., Mordido, A. and Vasconcelos, V.T.
  Paper @ Theor. Comput. Sci.1069: 115705
  Paper @ CONCUR 2023
  Extended abstract, Poster @ INForum 2023
  Master’s Thesis @ University of Lisbon, 2024

• System \(F^\mu_\omega\) with Context-free Session Types
  Poças, D., Costa, D., Mordido, A. and Vasconcelos, V.T.
  Programming Languages and Systems, ESOP 2023
  arXiv (long version)

• Kind Inference for the FreeST Programming Language
  Almeida, B., Mordido, A. and Vasconcelos, V.T.
  PLACES 2023

• Polymorphic Sessions and Sequential Composition of Types
  Poças, D., Costa, D., Mordido, A. and Vasconcelos, V.T.
  Talk @ PLACES 2023

• Shared Channels on Context-free Session Types
  Barros, D.
  Master’s Thesis @ University of Lisbon, 2022

• FreeST and the Higher-order Polymorphic Lambda Calculus
  Vasconcelos, V.T.
  Talk @ Universidade do Porto. 2022.

• Sharing the Stateful World
  Barros, D., Mordido, A., Vasconcelos, V.T. and Almeida, B.
  INForum 2022 (SOFT-PT)

• Higher-order Context-free Session Types in System F
  Costa, D., Mordido, A., Poças, D. and Vasconcelos, V.T.
  PLACES 2022

• Polymorphic lambda calculus with context-free session types
  Almeida, B., Mordido, A., Thiemann, P. and Vasconcelos, V.T.
  Information and Computation, 2022

• Polymorphic Context-free Session Types
  Vasconcelos, V.T.
  Talk @ Dagstuhl Seminar, Behavioural Types: Bridging Theory and Practice. September 2021.

• Deciding the bisimilarity of context-free session types
  Almeida, B., Mordido, A. and Vasconcelos, V.T.
  TACAS 2020

• Session Type Equivalence via Bisimulation
  Mordido, A.
  Talk @ Carnegie Mellon University, 2019

• FreeST: Context-free Session Types in a Functional Language
  Almeida, B., Mordido, A. and Vasconcelos, V.T.
  PLACES 2019

• FreeST: Context-free Session Types in a Concurrent Functional Language
  Vasconcelos, V.T.
  Talk @ Programming Languages for Distributed Systems, Shonan, 2019

• FreeST: Context-free Session Types in a Functional Language
  Almeida, B.
  Poster @ ETAPS 2019

• Uma linguagem de programação com tipos de sessão independentes do contexto
  Almeida, B.
  Master’s Thesis @ University of Lisbon, 2018

• Context-free Session Types
  Thiemann, P. and Vasconcelos, V.T.
  ICFP 2016, ACM