Department of Information and Computing Sciences

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

technical report UU-CS-2009-017

select other reports

report

techrep_id file title / author
UU-CS-2009-017 pdf Enumerating Well-Typed Terms Generically
Alexey Rodriguez Yakushev ,Johan Jeuring

indexed authors

author group
Jeuring, prof. dr. J.T. all reports Software Technology all reports
Rodriguez Yakushev, dr. A.L. all reports Software Technology all reports

BibTeX entry

@TECHREPORT{UUCS2009017,
author = {Jeuring, Alexey~Rodriguez~Yakushev~,Johan},
year = 2009,
title = {Enumerating Well-Typed Terms Generically},
number = {UU-CS-2009-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-017.pdf}},
pubcat = {techreport}
}