Theorems for Free
In the typed functional programming communities, there is much talk about „reasoning with types”. But rarely is this elaborated into something concrete. Just how can we extract tangible information from types beyond playing mere type tetris? The secret sauce is called parametricity, first described by John C. Reynolds, and later applied to Haskell by Philip Wadler in his seminal paper „Theorems for free!”.
An dieser Stelle möchten wir Dir gerne ein YouTube Video anzeigen. Um es zu sehen, musst Du dem Laden von Fremdinhalten von youtube.com zustimmen.
- Datum
- 11.09.2020
- Uhrzeit
- 12:00 - 13:00
- Online Event
- Virtual MuniHac 2020