Department of Information and Computing Sciences

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

technical reports : dr. R.T.W. Hinze

Ralf  Hinze

select other reports

this selection

author dr. R.T.W. Hinze

reports (11)

techrep_id file title / author
UU-CS-2008-011 pdf The Generic Haskell user's guide, Version 1.80 - Emerald release
Andres Löh, Johan Jeuring, Thomas van Noort, Alexey Rodriguez, Dave Clarke, Ralf Hinze, Jan de Wit
UU-CS-2006-026 pdf Typed Contracts for Functional Programming
Ralf Hinze, Johan Jeuring, and Andres Löh
UU-CS-2006-022 pdf Comparing approaches to generic programming in Haskell
Ralf Hinze, Johan Jeuring, Andres Löh
UU-CS-2005-004 pdf Generic Haskell User's Guide -- Version 1.42 (Coral)
Andres Loeh, Johan Jeuring (editors); Dave Clarke, Ralf Hinze, Alexey Rodriguez, Jan de Wit
UU-CS-2003-016 pdf Generic Haskell: Applications
Ralf Hinze and Johan Jeuring
UU-CS-2003-015 pdf Generic Haskell: Practice and Theory
Ralf Hinze and Johan Jeuring
UU-CS-2002-011 ps.gz
pdf
Type-indexed data types
Ralf Hinze, Johan Jeuring, Andres Löh
UU-CS-2001-62 pdf Preliminary proceedings of the 2001 ACM SIGPLAN Haskell Workshop (HW'2001)
Ralf Hinze (editor)
UU-CS-2001-33 pdf Functional Pearl. Weaving a Web
R. Hinze, J. T. Jeuring
UU-CS-2001-26 pdf The Generic Haskell User's Guide
D. Clarke, R. T. W. Hinze, J. T. Jeuring, A. Löh, J. de Wit
UU-CS-2001-09 pdf A Simple Implementation Technique for Priority Search Queues
R. T. W. Hinze

indexed (co) authors

author group
Clarke, D.G. all reports Software Technology all reports
Hinze, dr. R.T.W. all reports Software Technology all reports
Jeuring, prof. dr. J.T. all reports Software Technology all reports
Löh, dr. A. all reports Software Technology all reports
Noort, MSc T.R. van all reports Software Technology all reports
Rodriguez Yakushev, dr. A.L. all reports Software Technology all reports

BibTeX entries

@TECHREPORT{UUCS2008011,
author = {Löh, Andres and Jeuring, Johan and Noort, Thomas~van and Rodriguez, Alexey and Clarke, Dave and Hinze, Ralf and Wit, Jan~de},
year = 2008,
title = {The Generic Haskell user's guide, Version 1.80 - Emerald release},
number = {UU-CS-2008-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006026,
author = {Hinze, Ralf and Jeuring, Johan and Löh, Andres},
year = 2006,
title = {Typed Contracts for Functional Programming},
number = {UU-CS-2006-026},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-026.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006022,
author = {Hinze, Ralf and Jeuring, Johan and Löh, Andres},
year = 2006,
title = {Comparing approaches to generic programming in Haskell },
number = {UU-CS-2006-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005004,
author = {Loeh, Andres and Clarke, Johan~Jeuring~(editors);~Dave and Hinze, Ralf and Rodriguez, Alexey and Wit, Jan~de},
year = 2005,
title = {Generic Haskell User's Guide -- Version 1.42 (Coral)},
number = {UU-CS-2005-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003016,
author = {Hinze, Ralf and Jeuring, Johan},
year = 2003,
title = {Generic Haskell: Applications},
number = {UU-CS-2003-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003015,
author = {Hinze, Ralf and Jeuring, Johan},
year = 2003,
title = {Generic Haskell: Practice and Theory},
number = {UU-CS-2003-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002011,
author = {Hinze, Ralf and Jeuring, Johan and Löh, Andres},
year = 2002,
title = {Type-indexed data types},
number = {UU-CS-2002-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-011.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200162,
author = {Hinze, Ralf (editor)},
year = 2001,
title = {Preliminary proceedings of the 2001 ACM SIGPLAN Haskell Workshop (HW'2001)},
number = {UU-CS-2001-62},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-62.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200133,
author = {Hinze, R. and Jeuring, J.~T.},
year = 2001,
title = {Functional Pearl. Weaving a Web},
number = {UU-CS-2001-33},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-33.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200126,
author = {Clarke, D. and Hinze, R.~T.~W. and Jeuring, J.~T. and Löh, A. and Wit, J.~de},
year = 2001,
title = {The Generic Haskell User's Guide},
number = {UU-CS-2001-26},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-26.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200109,
author = {Hinze, R.~T.~W.},
year = 2001,
title = {A Simple Implementation Technique for Priority Search Queues},
number = {UU-CS-2001-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-09.pdf}},
pubcat = {techreport}
}