
Cas van der Rest
@casvdrest
Doing a PhD in PL/semantics
ID: 1512100353612947462
http://www.casvanderrest.nl 07-04-2022 16:10:13
3 Tweet
33 Followers
67 Following


#OOPSLA22 Saturday morning: Cas van der Rest on defining and composing safe-by-construction programming language components in Agda. Assemble safe-by-construction languages from reusable, concise, safe-by-construction components! Paper: doi.org/10.1145/3563355
