Generic Programming With Relations and Functors

Generic Programming With Relations and Functors (1999)

Cached

Download Links

[web.comlab.ox.ac.uk]

by Richard Bird , Oege De Moor , Paul Hoogendijk

Venue:	Journal of Functional Programming
Citations:	9 - 6 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Generic Programming With Relations and Functors	user correction - Legacy Corrections
AUTHOR NAME	Richard Bird	SVM HeaderParse 0.1
AUTHOR AFFIL	Programming Research Group	SVM HeaderParse 0.2
AUTHOR ADDR	11 Keble Road; Oxford OX1 3QD, United Kingdom	SVM HeaderParse 0.1
AUTHOR NAME	Oege De Moor	SVM HeaderParse 0.1
AUTHOR AFFIL	Programming Research Group	SVM HeaderParse 0.2
AUTHOR ADDR	11 Keble Road; Oxford OX1 3QD, United Kingdom	SVM HeaderParse 0.1
AUTHOR NAME	Paul Hoogendijk	SVM HeaderParse 0.1
AUTHOR AFFIL	Eindhoven University of Technology	SVM HeaderParse 0.2
AUTHOR ADDR	PO Box 513; 5600 MB Eindhoven, The Netherlands	SVM HeaderParse 0.1
ABSTRACT	This paper explores the idea of generic programming in which programs are parameterised by data types. Part of the constructive theory of lists, specically the part dealing with properties of segments, is generalised in two ways: from lists to arbitrary inductive data types, and from functions to relations. The new theory is used to solve a generic problem about segments. 1 Introduction To what extent is it possible to construct programs without knowing exactly what data types are involved? At rst sight this may seem a strange question, but consider the case of pattern matching. Over lists, this problem can be formulated in terms of two strings, a pattern and a text; the object is to determine if and where the pattern occurs as a segment of the text. Now, pattern matching can be generalised to other data types, including arrays and trees of various kinds; the essential step is to be able to dene the notion of `segment' in these types. So the intriguing question arises: can one...	user correction - Legacy Corrections
YEAR	1999	user correction - Legacy Corrections
VENUE	Journal of Functional Programming	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	appear,	INFERENCE
VOLUME	6	INFERENCE
CITATIONS	21 found	ParsCit 1.0