Generic functional programming with types and relations

R.S. Bird, O. Moor, de, P.F. Hoogendijk

Research output: Contribution to journalArticleAcademicpeer-review

27 Citations (Scopus)
1 Downloads (Pure)

Abstract

A generic functional program is one which is parameterised by datatype. By installing specific choices, for example Iists 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.
Original languageEnglish
Pages (from-to)1-28
JournalJournal of Functional Programming
Volume6
Issue number1
DOIs
Publication statusPublished - 1996

Fingerprint

Dive into the research topics of 'Generic functional programming with types and relations'. Together they form a unique fingerprint.

Cite this