Department of Information and Computing Sciences

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

technical report UU-CS-2015-012

select other reports


techrep_id file title / author
UU-CS-2015-012 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 for Teaching and Learning all reports
Leather, MSc S.P. all reports Software Technology all reports
Löh, dr. A. all reports Software Technology all reports

BibTeX entry

author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2015,
title = {Type-Changing Rewriting and Semantics-Preserving Transformation},
number = {UU-CS-2015-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{}},
pubcat = {techreport}