School of Computing

Higher-order + Polymorphic = Reusable

Simon Thompson

May 1997.

Abstract

This paper explores how certain ideas in object oriented languages have their correspondents in functional languages. In particular we look at the analogue of the iterators of the C++ standard template library. We also give an example of the use of constructor classes which feature in Haskell 1.3 and Gofer.

Download publication 20 kbytes

Bibtex Record

@unpublished{224,
author = {Simon Thompson},
title = {Higher-order + {P}olymorphic {=} {R}eusable},
month = {May},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/224},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014