Department of Information and Computing Sciences

technical report UU-CS-2013-017

select other reports

• technical report index page

report

techrep_id	file	title / author
UU-CS-2013-017	pdf	Type-Changing Rewriting and Semantics-Preserving Transformation Sean Leather, Johan Jeuring, Andres Löh and Bram Schuur

indexed authors

author		group
Jeuring, prof. dr. J.T.	all reports	Software Technology	all reports
Leather, MSc S.P.	all reports	Software Technology	all reports
Löh, dr. A.	all reports	Software Technology	all reports

BibTeX entry

@TECHREPORT{UUCS2013017,
author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2013,
title = {Type-Changing Rewriting and Semantics-Preserving Transformation},
number = {UU-CS-2013-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-017.pdf}},
pubcat = {techreport}
}