home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

technical report UU-CS-2008-027

select other reports

• technical report index page

report

techrep_id	file	title / author
UU-CS-2008-027	pdf	Efficient Functional Unification and Substitution Atze Dijkstra, Arie Middelkoop, and S. Doaitse Swierstra

indexed authors

author		group
Dijkstra, dr. A.	all reports	software technology	all reports
Middelkoop, dr. A.	all reports	software technology	all reports
Swierstra, prof. dr. (em.) S.D.	all reports	software technology	all reports

BibTeX entry

@TECHREPORT{UUCS2008027,
author = {Dijkstra, Atze and Middelkoop, Arie and Swierstra, S.~Doaitse},
year = 2008,
title = {Efficient Functional Unification and Substitution},
number = {UU-CS-2008-027},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-027.pdf}},
pubcat = {techreport}
}