Skip to content

Abstracts.2018.TheoremsForFree

Jump to bottom
Sandro Stucki edited this page Nov 28, 2018 · 1 revision

Theorems for free

by Frederik Folkmar Ramcke

I will be giving a very short (15 mins) presentation of the "Theorems for free!" paper by Philip Wadler. Afterwards I would like to talk about logical relations in more detail.

[1] Theorems for free! Philip Wadler, FPCA'89, ACM, 1989. DOI: 10.1145/99370.99404

Clone this wiki locally