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

technical reports : dr. HJM Meijer

select other reports

• technical report index page
• below : list of indexed authors

this selection

author	dr. HJM Meijer

reports (5)

techrep_id	file	title / author
UU-CS-2001-35	pdf	Parsec: Direct style monadic parser combinators for the real world D. J. P. Leijen, H. J. M. Meijer
UU-CS-1999-28	ps.gz pdf	Proceedings of the 1999 Haskell Workshop H. J. M. Meijer
UU-CS-1994-06	pdf	Hazard Algebra for Asynchronous Circuits E. Meijer
UU-CS-1994-05	pdf	More Advice on Proving a Compiler Correct: Improve a Correct Compiler E. Meijer
UU-CS-1994-04	pdf	Back to Basics: Deriving Presentations Changers Without Relations G. Hutton and E. Meijer

indexed (co) authors

author		group
Leijen, dr. DJP	all reports	software technology	all reports
Meijer, dr. HJM	all reports	software technology	all reports

BibTeX entries

@TECHREPORT{UUCS200135,
author = {Leijen, D.~J.~P. and Meijer, H.~J.~M.},
year = 2001,
title = {Parsec: Direct style monadic parser combinators for the real world},
number = {UU-CS-2001-35},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-35.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199928,
author = {Meijer, H.~J.~M.},
year = 1999,
title = {Proceedings of the 1999 Haskell Workshop},
number = {UU-CS-1999-28},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-28.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-28.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199406,
author = {Meijer, E.},
year = 1994,
title = {Hazard Algebra for Asynchronous Circuits},
number = {UU-CS-1994-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-06.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199405,
author = {Meijer, E.},
year = 1994,
title = {More Advice on Proving a Compiler Correct: Improve a Correct Compiler},
number = {UU-CS-1994-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-05.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199404,
author = {Hutton, G. and Meijer, E.},
year = 1994,
title = {Back to Basics: Deriving Presentations Changers Without Relations},
number = {UU-CS-1994-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-04.pdf}},
pubcat = {techreport}
}