Activities per year
Activities
- 2 Oral presentation
- 2 results
Search results
-
Contributed long talk TYPES 2022: TypOS: An “Operating System” for Typechecking Actors
Fredrik Nordvall Forsberg (Speaker), Conor McBride (Contributor), Georgi Nakov (Contributor), Guillaume Allais (Contributor), Malin Altenmüller (Contributor) & Craig Roy (Contributor)
22 Jun 2022Activity: Talk or presentation types › Oral presentation
-
Contributed talk TYPES 2021: "Quantitative polynomial functors"
Fredrik Nordvall Forsberg (Contributor) & Georgi Nakov (Speaker)
16 Jun 2021Activity: Talk or presentation types › Oral presentation