Malin Altenmüller - Activities - University of Strathclyde

1 Organiser of special symposia
1 Oral presentation

1 results
- Title
- Start date(ascending)

Filter

Contributed long talk TYPES 2022: TypOS: An “Operating System” for Typechecking Actors
Nordvall Forsberg, F. (Speaker), McBride, C. (Contributor), Nakov, G. (Contributor), Allais, G. (Contributor), Altenmüller, M. (Contributor) & Roy, C. (Contributor)
22 Jun 2022
Activity: Talk or presentation types › Oral presentation