Conor McBride

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 2022

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2021: "Functorial Adapters"

  Nordvall Forsberg, F. (Speaker) & McBride, C. (Speaker)

  15 Jun 2021

  Activity: Talk or presentation types › Oral presentation

• Public engagement talk: "Dimensionally correct by construction: Type systems for programs respecting dimensions"

  Nordvall Forsberg, F. (Speaker) & McBride, C. (Speaker)

  15 Jun 2021

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2017: "Variations on inductive-recursive defnitions closed under composition"

  Nordvall Forsberg, F. (Speaker), Ghani, N. (Contributor), McBride, C. (Contributor) & Spahn, S. (Contributor)

  31 May 2017

  Activity: Talk or presentation types › Oral presentation