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

Activity: Talk or presentation typesOral presentation

Period15 Jun 2021
Event titleBCS Formal Aspects of Computing Seminar
Event typeSeminar
Degree of RecognitionNational