No CrossRef data available.
Published online by Cambridge University Press: 28 January 2003
4.1 Overview of Types and Classes 40
4.2 User-Defined datatypes 45
4.3 Type Classes and Overloading 49
4.4 Nested Declarations 55
4.5 Static Semantics of Function and Pattern Bindings 60
4.6 Kind Inference 66
Discussions
No Discussions have been published for this article.