Department of Information and Computing Sciences

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

master thesis INF/SCR-2012-010

see also

thesis

id INF/SCR-2012-010
academic year 2012
full text pdf
title Contract Inferencing for Functional Programs
subject
author Jurriƫn Stutterheim
supervisors prof. dr. Johan Jeuring
others