Cas van der Rest (@casvdrest) 's Twitter Profile
Cas van der Rest

@casvdrest

Doing a PhD in PL/semantics

ID: 1512100353612947462

linkhttp://www.casvanderrest.nl calendar_today07-04-2022 16:10:13

3 Tweet

33 Followers

67 Following

Wouter Swierstra (@wouterswierstra) 's Twitter Profile Photo
Wouter Swierstra
@wouterswierstra

3 years ago

Registration for the Dutch FP Day is now open -- save the date: set.win.tue.nl/nl-fp-day-2023/

Casper Bach (@eclecnant) 's Twitter Profile Photo
Casper Bach
@eclecnant

3 years ago

#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

#OOPSLA22 Saturday morning: <a href="/casvdrest/">Cas van der Rest</a> 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