Deriving Generic Functions by Example

Abstract

A function is said to be generic if it operates over values of any data type. For example, a generic equality function can test pairs of booleans, integers, lists, trees etc. In most languages programmers must define generic functions multiple times, specialised for each data type. Alternatively, a tool could be used to specify the relationship between the… (More)
View Slides

Topics

Cite this paper

@inproceedings{Mitchell2007DerivingGF, title={Deriving Generic Functions by Example}, author={Neil J. Mitchell}, year={2007} }