Magnus Myreen will talk about the CakeML project, which is known for its verified compiler(s).
Översikt
Evenemanget har passerat
- Datum:Startar 21 januari 2026, 13:00Slutar 21 januari 2026, 14:00
- Plats:HC1
- Språk:English
Magnus Myreen will talk about the CakeML project, which is known for its verified compiler(s).