Department of Information and Computing Sciences

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

technical report UU-CS-2013-017

select other reports

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