Search for Author All Reviews
	Hinze, Ralf     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 5 reviews       Towards a categorical foundation for generic programming Hinze R., Wu N.  WGP 2011 (Proceedings of the 7th ACM SIGPLAN Workshop on Generic Programming, Tokyo, Japan, Sep 18, 2011) 47-58, 2011.  Type: Proceedings Hinze and Wu begin with the following claim: “Datatype-generic programming (DGP) aims at making your life as a programmer easier by making your programs more general and more robust.” Haskell programmers are convinc...... Mar 29 2012     Generic programming in 3D Hinze R., Löh A. Science of Computer Programming 74(8): 590-628, 2009.  Type: Article Generic programming is a strangely overloaded concept. For example, it is used by different programming language communities to essentially mean “the kind of polymorphism this language cannot easily express.” The com...... Oct 12 2010     Functional pearl: streams and unique fixed points Hinze R. ACM SIGPLAN Notices 43(9): 189-200, 2008.  Type: Article Streams, infinite sequences of elements, play an important role in various areas of mathematics and computer science. On the one hand, they represent a fundamental concept of discrete mathematics, where infinite integer sequences are i...... Jun 11 2009     Open data types and open functions Löh A., Hinze R.  Principles and practice of declarative programming (Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Venice, Italy, Jul 10-12, 2006) 133-144, 2006.  Type: Proceedings Functional languages such as Haskell make it easy to add new functions, but extending data requires modifying existing code since all constructors must be defined at the same place. On the other hand, object-oriented languages support ...... Aug 1 2007     A simple implementation technique for priority search queues Hinze R. ACM SIGPLAN Notices 36(10): 110-121, 2001.  Type: Article The goal of this paper is threefold. First, Hinze presents a purely functional version of the priority search queue. Second, he describes an implementation weakening the heap property, so that rotations become constant time operations,...... Aug 17 2004
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy