technical report UU-CS-2012-008
select other reports
report
techrep_id |
file |
title / author |
UU-CS-2012-008 |
pdf |
Testing Type Class Laws Johan Jeuring, Patrik Jansson and Cláudio Amaral |
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}
}