home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

technical report UU-CS-2006-026

select other reports

• technical report index page

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}
}