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

select other reports
this selection
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 |
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}
}
webmaster@cs.uu.nl,
Sun, 05 Feb 2012 19:15:06 +0100
←
Departement Informatica, Universiteit Utrecht