Calculate Polytypically! (1996)
by
Lambert Meertens
| Venue: | In PLILP'96, volume 1140 of LNCS |
| Citations: | 41 - 3 self |
BibTeX
@INPROCEEDINGS{Meertens96calculatepolytypically!,
author = {Lambert Meertens},
title = {Calculate Polytypically!},
booktitle = {In PLILP'96, volume 1140 of LNCS},
year = {1996},
pages = {1--16},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A polytypic function definition is a function definition that is parametrised with a datatype. It embraces a class of algorithms. As an example we define a simple polytypic "crush" combinator that can be used to calculate polytypically. The ability to define functions polytypically adds another level of flexibility in the reusability of programming idioms and in the design of libraries of interoperable components.
