Miss Laura Voinea

  • Research Associate (School of Computing Science)

email: Laura.Voinea@glasgow.ac.uk

IT Helpdesk, Library

Import to contacts

Publications

List by: Type | Date

Jump to: 2023
Number of items: 1.

2023

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)

This list was generated on Sun May 19 03:20:28 2024 BST.
Number of items: 1.

Conference Proceedings

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)

This list was generated on Sun May 19 03:20:28 2024 BST.