• higher-order context-free session types in system F (places'22)
  • the different shades of infinite session types (fossacs'22, arXiv)
  • polymorphic context-free session types
  • statically checking rest api consumers (sefm'20)
  • duality of session types: the final cut (places'20)
  • mixed sessions (esop'20, tcs)
  • deciding the bisimilarity of context-free session types (tacas'20)
  • label-dependent session types (popl'20)
  • the computational content of atomic polymorphism (logic journal igpl 2020)
  • dependent types for class-based mutable objects (ecoop'18)
  • gradual session types (icfp'17, journal)
  • context-free session types (icfp'16)
  • fundamentals of session types (pdf, i&c 2012)
  • DBLP | GoogleScholar | Orcid | Scopus | WoS | RG | ACM | CienciaVitae

    (read more...)