Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

master theses

see also

supervisor

Wouter Swierstra

overview

1 theses
thesis full
text
academic
year
author / title / supervisors
INF/SCR-2011-062 pdf 2011 Paul van der Walt, Reflection in Agda
dr. Wouter Swierstra