On the expressive power of Constructor Classes (1995)
by
Luc Duponcheel
,
Erik Meijer
| Venue: | In Proceedings of the 1994 Glasgow Functional Programming Workshop |
| Citations: | 3 - 0 self |
BibTeX
@INPROCEEDINGS{Duponcheel95onthe,
author = {Luc Duponcheel and Erik Meijer},
title = {On the expressive power of Constructor Classes},
booktitle = {In Proceedings of the 1994 Glasgow Functional Programming Workshop},
year = {1995},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The aim of this paper is to explore the expressive power of constructor classes, a generalisation of type classes. We present a categorical prelude for Gofer, a programming environment which supports constructor classes. The prelude contains much more code than the one which is dealt with in the paper. We do not go into all the details of the prelude.
Citations
| 1224 | Lectures on constructive functional programming - Bird - 1989 |
| 213 | Monad transformers and modular interpreters - Liang, Hudak, et al. - 1995 |
| 171 | A system of constructor classes: overloading and implicit higher-order polymorphism - Jones - 1993 |
| 75 | Report on the programming language Haskell, version 1.2 - Hudak, Jones, et al. - 1992 |
| 64 | Composing monads - Jones, Duponcheel - 1993 |
| 52 | Computational Category Theory - Rydeheard, Burstall - 1988 |
| 20 | Building interpreters by composing monads - Jr - 1994 |
