A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Calculate polytypically!
[chapter]
1996
Lecture Notes in Computer Science
A polytypic function de nition is a function de nition that is parametrised with a datatype. It embraces a class of algorithms. As an example we de ne a simple polytypic \crush" combinator that can be used to calculate polytypically. The ability to de ne functions polytypically adds another level of exibility in the reusability of programming idioms and in the design of libraries of interoperable components.
doi:10.1007/3-540-61756-6_73
fatcat:tn5rgc2x3bezrceeepfj4sflpm