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


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 for Teaching and Learning all reports
Rodriguez Yakushev, dr. A.L. all reports Software Technology all reports

BibTeX entry

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 = {{}},
pubcat = {techreport}