Department of Information and Computing Sciences

technical report UU-CS-2012-008

select other reports

• technical report index page

report

techrep_id	file	title / author
UU-CS-2012-008	pdf	Testing Type Class Laws Johan Jeuring, Patrik Jansson and Cláudio Amaral

indexed authors

author		group
Jeuring, prof. dr. J.T.	all reports	Soft.Tech. for Learning and Teaching	all reports

BibTeX entry

@TECHREPORT{UUCS2012008,
author = {Jeuring, Johan and Jansson, Patrik and Amaral, Cláudio},
year = 2012,
title = {Testing Type Class Laws},
number = {UU-CS-2012-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-008.pdf}},
pubcat = {techreport}
}