Publications, talks, posters

• Simple Grammar Bisimilarity, with an Application to Session Type Equivalence
  • Poças, D., Vasconcelos V.T.
  • 2024

• 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.; Vasconcelos, V.T.
  • 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
  • axXiv (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