SML# Document

Chapter 8. SML# feature:other type system extensions

In addition to record polymorphism, SML# extend the Standard ML type system with the following.

  1. rank 1 polymorphism, and

  2. first-class overloading.

This chapter briefly introduce them.

Contents