Cas van der Rest

Very happy to announce that our (with Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser and Peter Mosses) paper on "Intrinsically-Typed Definitional à la Carte" (dl.acm.org/doi/10.1145/35…) has been accepted for OOPSLA '22!

#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: doi.org/10.1145/3563355

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