Speaker Deck

Functional stuff: GADT, Existential types, Rank-N-Types, ...

by Rafał Łasocha

Published March 25, 2015 in Research

Wrocław, 25.03.2015
"Advanced functional programming" seminar
Institute of Computer Science
University of Wrocław