HOME cs.uu.nl home education contact library calendar search UU.NL
about us research people archive services jobs

technical reports : dr. HJM Meijer

Erik  Meijer

select other reports

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}
}

valid-html401 webmaster@cs.uu.nl, Wed, 20 Aug 2014 10:45:41 +0200 ← Departement Informatica, Universiteit Utrecht