Previous Up Next

References

[MTHM97]
Robin Milner, Mads Tofte, Robert Harper, and David B. Macqueen. The Definition of Standard ML (Revised). MIT Press, 1997.

Previous Up Next