Department of Information and Computing Sciences

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

master thesis INF/SCR-2000-13

see also


id INF/SCR-2000-13
academic year 2000
full text not available
title Pure type systems for functional programming
subject ??
author Roorda J.W.
supervisors prof. dr. Johan Jeuring