1. What are the contributions in this paper?
In this paper, the authors proposed a method to improve the quality of the data collected by the data collection system.
read more
Generic functional programming with types and relations
TL;DR: The purpose of this paper is to explore the possibility of deriving generic programs by recasting part of the theory of lists that deals with segments as a theory about ‘segments’ in a wide class of datatypes and then used to pose and solve a generic version of a well-known problem.
read more
Abstract: A generic functional program is one which is parameterised by datatype. By installing specific choices, for example lists or trees, different programs are obtained that are, nevertheless, abstractly the same. The purpose of this paper is to explore the possibility of deriving generic programs. Part of the theory of lists that deals with segments is recast as a theory about ‘segments’ in a wide class of datatypes, and then used to pose and solve a generic version of a well-known problem.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Most frequently asked questions
Citations
•Journal Article
Type-indexed data types
TL;DR: The approach has been implemented in Generic Haskell, a generic programming extension of the functional language Haskell, and it is shown how to define type-indexed data types, discusses several examples of type- indexes, and shows how to specialize type- indexed data types.
86
Type-Indexed Data Types
Ralf Hinze,Johan Jeuring,Andres Löh +2 more
- 01 May 2004
TL;DR: Type-indexed data types as mentioned in this paper is a generic programming extension of the functional language Haskell, which can be used for digital searching, pattern matching, unification, rewriting, and structure editing.
Polytypic Values Possess Polykinded Types
Ralf Hinze
- 03 Jul 2000
TL;DR: This paper shows how to define values that are indexed by types of arbitrary kinds and proves among other things that the polytypic mapping function satisfies suitable generalizations of the functorial laws.
79
•Proceedings Article
Extensible and modular generics for the masses.
Bruno C. d. S. Oliveira,Ralf Hinze,Andres Löh +2 more
- 01 Jan 2006
TL;DR: A revised version of Hinze’s Generics for the masses approach is presented, which shows that writing an extensible and modular generic programming library in Haskell 98 is possible and can be extended with ad-hoc behaviour for new data types.
•Proceedings Article
Design Patterns as Higher-Order Datatype-Generic Programs
Jeremy Gibbons
- 01 Jan 2005
TL;DR: This work argues the case by presenting higher-order datatype-generic programs capturing ORIGAMI, a small suite of patterns for recursive data structures, and claims that the languages of tomorrow will suffice; the future is not far away.
39
References
•Book
Toposes, Triples and Theories
Michael Barr,Charles Wells +1 more
- 01 Jan 1984
TL;DR: In this article, the authors propose a triples-based index to exercises for representing toposes and properties of toposes, including permanence properties and Cocone Theories, and triples.
•Book
Lectures on Constructive Functional Programming
Richard Bird
- 01 Sep 1988
TL;DR: This work hopes to show that a functional approach to the problem of systematically calculating programs from their specifications can take its place alongside other methodologies.
257
•Book
Algebraic Approaches to Program Semantics
Ernest G. Manes,Michael A. Arbib +1 more
- 10 Sep 1986
TL;DR: This book is an introduction to denotational semantics, introducing the reader to the order semantics of Scott and Strachey and the authors' own partially additive semantics.
254
A system of constructor classes: overloading and implicit higher-order polymorphism
Mark P. Jones
- 01 Jul 1993
TL;DR: A flexible type system which combines overloading and higher-order polymorphism in an implicitly typed language using a system of constructor classes – a natural generalization of type classes in Haskell is described.
194
Related Papers (5)
Patrik Jansson,Johan Jeuring +1 more
- 01 Jan 1997
Ralf Hinze
- 05 Jan 2000
Peyton Jones,L Simon +1 more
- 01 Jan 2003
[...]
Philip Wadler
- 01 Nov 1989