© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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 kbytesBibtex 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},
}