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

publications by dr. R.T.W. Hinze

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. R.T.W. Hinze

• contact information
• my technical reports
• former member of group software technology

some publications

Hinze, R. & Loeh, A. (2009). Generic programming in {3D}. Science of Computer Programming, 74(8), 590-628.

Löh, A., Jeuring, J.T., Noort, T. van, Rodriguez Yakushev, A., Clarke, D., Hinze, R. & Wit, J de (2008). The {G}eneric {H}askell user's guide, {V}ersion 1.80 - {E}merald release. (UU-CS2008-011 ). onbekend: UU WINFI Informatica en Informatiekunde.

Hinze, R., Jeuring, J.T. & Löh, A. (2007). Comparing approaches to generic programming in Haskell. In R.C. Backhouse, J. Gibbons, R. Hinze & J. Jeuring (Eds.), Datatype-Generic Programming, International Spring School, SSDGP 2006, Nottingham, UK April 24-27, 2006, Revised Lectures (pp. 72-149). Springer-Verlag.

Backhouse, R.C., Gibbons, J., Hinze, R. & Jeuring, J.T. (Eds.). (2007). Datatype-Generic Programming, International Spring School, SSDGP 2006, Nottingham, UK April 24-27, 2006, Revised Lectures (LNCS, 4719). Springer-Verlag.

Hinze, R., Jeuring, J.T. & Löh, A. (2006). Comparing approaches to generic programming in Haskell. (UU-CS2006-022 ). onbekend: UU WINFI Informatica en Informatiekunde.

Hinze, R., Jeuring, J.T. & Löh, A. (2006). Typed Contracts for Functional Programming. (UU-CS2006-026 ). onbekend: UU WINFI Informatica en Informatiekunde.

Hinze, R., Jeuring, J.T. & Löh, A. (2006). Typed Contracts for Functional Programming. In P. Wadler & M. Hagiya (Eds.), Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006 (pp. 208-225). Springer-Verlag.

Löh, A., Jeuring, J.T., Clarke, D.G., Hinze, R., Rodriguez, A. & Wit, J de (2005). Generic Haskell User's Guide -- Version 1.42 (Coral). (UU-CS2005-004 ). onbekend: UU WINFI Informatica en Informatiekunde.

Hinze, R., Jeuring, J.T. & Löh, A. (2004). Type-indexed data types. Science of Computer Programming, 51(1-2), 117-151.

Hinze, R. & Jeuring, J.T. (2003). Generic Haskell: Applications. (UU-CS2003-016 ). Utrecht: Utrecht University: Information and Computing Sciences.

Hinze, R. & Jeuring, J.T. (2003). Generic Haskell: Practice and Theory. (UU-CS2003-015 ). Utrecht: Utrecht University: Information and Computing Sciences.

Hinze, R. & Jeuring, J.T. (2003). Generic Haskell: applications. In Generic Programming, Advanced Lectures Vol. 2793. IT Monitor (pp. 57-97). Springer-Verlag.

Hinze, R. & Jeuring, J.T. (2003). Generic Haskell: practice and theory. In Generic Programming, Advanced Lectures Vol. 2793. IT Monitor (pp. 1-56). Springer-Verlag.

Hinze, R. (2002). Functional Pearl: A fresh look at binary search trees. Journal of functional programming, 12(06), 601-607.

Hinze, R. (2002). Polytypic values possess polykinded types. Science of Computer Programming, 43(2-3), 129-159.

Hinze, R., Jeuring, J.T. & Löh, A. (2002). Type-indexed data types. (UU-CS2002-011 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Hinze, R., Jeuring, J.T. & Löh, A. (2002). Type-indexed data types. In E.A. Boiten & B. Möller (Eds.), Proceedings of the 6th International Conference on Mathematics of Program Construction (pp. 148-174). Springer-Verlag.

Hinze, R. (2001). A Simple Implementation Technique for Priority Search Queues. (UU-CS2001-09 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Hinze, R. (2001). A Simple Implementation Technique for Priority Search Queues. In X. Leroy (Ed.), Proceedings of the International Conference on Functional Programming, Firenze, Italy, 2001. ACM.

Jeuring, J.T. & Hinze, R. (2001). Functional Pearl. Weaving a Web. (UU-CS2001-33 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Hinze, R. (2001). Preliminary proceedings of the 2001 ACM SIGPLAN Haskell Workshop (HW'2001). (UU-CS2001-62 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Clarke, D.G., Hinze, R., Jeuring, J.T., Löh, A. & Wit, J. (2001). The Generic Haskell User's Guide. (UU-CS2001-26 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Hinze, R. & Jeuring, J.T. (2001). Weaving a web. Journal of functional programming, 11(6), 681-689.