Activities per year
Activities
- 2 Oral presentation
- 2 results
Search results
-
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 2022Activity: Talk or Presentation › Oral presentation
-
Contributed talk TYPES 2021: "Quantitative polynomial functors"
Nordvall Forsberg, F. (Contributor) & Nakov, G. (Speaker)
16 Jun 2021Activity: Talk or Presentation › Oral presentation