Public engagement talk: "Dimensionally correct by construction: Type systems for programs respecting dimensions"
- Nordvall Forsberg, F. (Speaker)
- McBride, C. (Speaker)
Activity: Talk or presentation types › Oral presentation
Activity: Talk or presentation types › Oral presentation