SML# Project

SML# Document Version 3.7.1
II Tutorials

Chapter 9 SML# feature: other type system extensions

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

  1. 1.

    rank 1 polymorphism, and

  2. 2.

    first-class overloading.

This chapter briefly introduce them.