Browse by Research Project Code
Up a level |
De Muijnck-Hughes, J. , Urlea, C. , Voinea, L. and Vanderbauwhede, W. (2023) Capable: A Mechanised Imperative Language with Native Multiparty Session Types. In: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023) - 30 Years of Session Types Workshop, Cascais, Portugal, 22-23 Oct 2023, (Accepted for Publication)
De Muijnck-Hughes, J. and Vanderbauwhede, W. (2023) Wiring Circuits Is Easy as {0,1,ω}, or Is It... In: 37th European Conference on Object-Oriented Programming (ECOOP 2023), Seattle, WA, USA, 17-21 July 2023, 8:1-8:28. (doi: 10.4230/LIPIcs.ECOOP.2023.8)
De Muijnck-Hughes, J. and Vanderbauwhede, W. (2023) Wiring Circuits Is Easy as {0, 1, ω}, or Is It. . . (Artifact). In: 37th European Conference on Object-Oriented Programming (ECOOP 2023), Seattle, WA, USA, 17-21 July 2023, 4:1-4:3. (doi: 10.4230/DARTS.9.2.4)
De Muijnck-Hughes, J. , Allais, G. and Brady, E. (2023) Type Theory as a Language Workbench. In: Eelco Visser Commemorative Symposium (EVCS 2023), Delft, The Netherlands, 05 April 2023, 9:1-9:13. ISBN 9783959772679 (doi: 10.4230/OASIcs.EVCS.2023.9)
Graversen, E., Phillips, I. and Yoshida, N. (2022) Event structures for the reversible early internal π-calculus. Journal of Logical and Algebraic Methods in Programming, 124, 100720. (doi: 10.1016/j.jlamp.2021.100720)
Graversen, E., Phillips, I. and Yoshida, N. (2021) Event structure semantics of (controlled) reversible CCS. Journal of Logical and Algebraic Methods in Programming, 121, 100686. (doi: 10.1016/j.jlamp.2021.100686)