Department of Information and Computing Sciences

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

technical report UU-CS-2006-026

select other reports

report

techrep_id file title / author
UU-CS-2006-026 pdf Typed Contracts for Functional Programming
Ralf Hinze, Johan Jeuring, and Andres Löh

indexed authors

author group
Hinze, dr. R.T.W. all reports Software Technology all reports
Jeuring, prof. dr. J.T. all reports Software Technology all reports
Löh, dr. A. all reports Software Technology all reports

BibTeX entry

@TECHREPORT{UUCS2006026,
author = {Hinze, Ralf and Jeuring, Johan and Löh, Andres},
year = 2006,
title = {Typed Contracts for Functional Programming},
number = {UU-CS-2006-026},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-026.pdf}},
pubcat = {techreport}
}