David Castro-Perez
Research
Publications
Talks
Teaching
Blog Posts

David Castro-Perez

Canterbury, UK
University of Kent
Email
Google Scholar
ORCID
dblp
Github
X (formerly Twitter)

A Synthetic Reconstruction of Multiparty Session Types

David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
To appear in POPL 2026
[pdf]

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2025 David Castro-Perez. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.