A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
A system of constructor classes
1993
Proceedings of the conference on Functional programming languages and computer architecture - FPCA '93
This paper describes a flexible type system which combines overloading and higher-order polymorphism in an implicitly typed language using a system of constructor classes -a natural generalization of type classes in Haskell. We present a wide range of examples which demonstrate the usefulness of such a system. In particular, we show how constructor classes can be used to support the use of monads in a functional language. The underlying type system permits higher-order polymorphism but retains
doi:10.1145/165180.165190
dblp:conf/fpca/Jones93
fatcat:xklgpw2ggfco5j2cdo6csgm55u