Simon J Gay
University of Glasgow
H-index: 29
Europe-United Kingdom
Top articles of Simon J Gay
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
On commutativity, total orders, and sorting | Wind Wong Vikraman Choudhury Simon J Gay | 2024/2/25 | |
Special delivery: Programming with mailbox types | Proceedings of the ACM on Programming Languages | Simon Fowler Duncan Paul Attard Franciszek Sowul Simon J Gay Phil Trinder | 2023/8/30 |
Artifact for" Special Delivery: Programming with Mailbox Types" | Simon Fowler Duncan Paul Attard Franciszek Sowul Simon Gay Phil Trinder | 2023/7/8 | |
Special Delivery: Programming with Mailbox Types (Extended Version) | arXiv preprint arXiv:2306.12935 | Simon Fowler Duncan Paul Attard Franciszek Sowul Simon J Gay Phil Trinder | 2023/6/22 |
Special Delivery | SIMON FOWLER DUNCAN PAUL ATTARD FRANCISZEK SOWUL SIMON J GAY PHIL TRINDER | 2023 | |
The different shades of infinite session types | Simon J Gay Diogo Poças Vasco T Vasconcelos | 2022/3/29 | |
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version) | arXiv preprint arXiv:2105.06973 | Paul Harvey Simon Fowler Ornela Dardha Simon J Gay | 2021/5/14 |
Typechecking java protocols with [st] mungo | A Laura Voinea Ornela Dardha Simon J Gay | 2020/6/8 | |
Duality of session types: The final cut | arXiv preprint arXiv:2004.01322 | Simon J Gay Peter Thiemann Vasco T Vasconcelos | 2020/4/3 |
Cables, Trains and Types | Simon J Gay | 2020 |
Co-Authors
