Publications, talks, posters

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

• Subtyping Context-Free Session Types
  • Silva, G.
  • Poster @ INForum 2023

• Subtyping Context-Free Session Types
  • Silva, G.; Mordido, A.; Vasconcelos, V.T.
  • CONCUR 2023

• 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

• 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