SML# Project

SML# Document Version 4.0.0
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.