publications

  • subtyping context-free session types, concur'23 (arxiv)
  • parameterized algebraic protocols, pldi'23 (arxiv)
  • system f-mu-omega with context-free session types, esop'23 (arxiv)
  • kind inference for the freest programming language, places'23
  • a type discipline for message passing parallel programs, toplas 2022
  • polymorphic lambda calculus with context-free session types, i&c 2022 (arxiv)
  • higher-order context-free session types in system f
  • the different shades of infinite session types, fossacs'22, (arxiv)
  • duality of session types: the final cut, places'20
  • mixed sessions, tcs 2022 (esop'20)
  • deciding the bisimilarity of context-free session types, tacas'20
  • label-dependent session types, popl'20 (arxiv)
  • gradual session types, jfp 2019 (icfp'17, arxiv)
  • context-free session types, icfp'16 (pdf)
  • DBLP | GoogleScholar | Orcid | Scopus | WoS | RG | ACM | CienciaVitae

    (read more...)