polymorphic higher-order context-free session types, tcs 2024
linear contextual metaprogramming and session types, places'24
behavioural types for heterogeneous systems (position paper), places'24
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)
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)
DBLP
|
GoogleScholar
|
Orcid
|
Scopus
|
WoS
|
RG
|
ACM
|
CienciaVitae
(read more...)