Cas van der Rest

Doing a PhD in PL/semantics

[Cas van der Rest @casvdrest]

Very happy to announce that our (with Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser and Peter Mosses) paper on "Intrinsically-Typed Definitional à la Carte" (https://t.co/ejAIkEM1PT) has been accepted for OOPSLA '22!

[Casper Bach @eclecnant]

#OOPSLA22 Saturday morning: @casvdrest 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: https://t.co/VAOupeIQEu

[Wouter Swierstra @wouterswierstra]

Registration for the Dutch FP Day is now open -- save the date: https://t.co/fA1baxD0Mt