#### Filter Results:

- Full text PDF available (92)

#### Publication Year

1976

2017

- This year (2)
- Last five years (16)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Ralf Hinze
- MPC
- 2000

A polytypic value is one that is defined by induction on the structure of types. In Haskell types are assigned so-called kinds that distinguish between manifest types like the type of integers and functions on types like the list type constructor. Previous approaches to polytypic programming were restricted in that they only allowed to parameterize values… (More)

- Ralf Hinze
- J. Funct. Program.
- 2004

A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can be derived in Haskell, such as <i>show</i>, <i>read</i>, and '=='. The recent years have seen a number of proposals that support the definition of generic functions. Some of the… (More)

- James Cheney, Ralf Hinze
- Haskell '02
- 2002

The recent years have seen a number of proposals for extending statically typed languages by dynamics or generics. Most proposals --- if not all --- require significant extensions to the underlying language. In this paper we show that this need not be the case. We propose a particularly lightweight extension that supports both dynamics and generics.… (More)

- Ralf Hinze
- POPL
- 2000

This paper describes a new approach to generic functional programming, which allows us to define functions generically for all datatypes expressible in Haskell. A generic function is one that is defined by induction on the structure of types. Typical examples include pretty printers, parsers, and comparison functions. The advanced type system of Haskell… (More)

- Ralf Hinze, Johan Jeuring
- Generic Programming
- 2003

4 Generic Haskell is an extension of Haskell that supports the construction of generic programs. This article describes the basics of Generic Haskell and highlights the underlying theory.

- Ralf Hinze, Johan Jeuring, Andres Löh
- Sci. Comput. Program.
- 2002

A polytypic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of polytypic functions are the functions that can be derived in Haskell, such as show , read , and ' '. More advanced examples are functions for digital searching, pattern matching, unification, rewriting, and structure… (More)

- Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira
- FLOPS
- 2006

The paper " Scrap your boilerplate " (SYB) introduces a com-binator library for generic programming that offers generic traversals and queries. Classically, support for generic programming consists of two essential ingredients: a way to write (type-)overloaded functions, and independently , a way to access the structure of data types. SYB seems to lack the… (More)

- Ralf Hinze
- ICFP
- 2000

In a paper about pretty printing J. Hughes introduced two fundamental techniques for deriving programs from their specification, where a specification consists of a signature and properties that the operations of the signature are required to satisfy. Briefly, the first technique, the term implementation, represents the operations by terms and works by… (More)

- Ralf Hinze, Ross Paterson
- J. Funct. Program.
- 2006

We introduce 2-3 finger trees, a functional representation of persistent sequences supporting access to the ends in amortized constant time, and concatenation and splitting in time logarithmic in the size of the smaller piece. Representations achieving these bounds have appeared previously, but 2-3 finger trees are much simpler, as are the operations on… (More)

- Ralf Hinze
- J. Funct. Program.
- 2000

A trie is a search tree scheme that employs the structure of search keys to organize information. Tries were originally devised as a means to represent a collection of records indexed by strings over a xed alphabet. Based on work by C.P. Wadsworth and others, R.H. Connelly and F.L. Morris generalized the concept to permit indexing by elements of an… (More)