Unifying exceptions with constructors in Standard ML (1988)

by Andrew Appel, David MacQueen, Robin Milner, Mads Tofte