exn as dynamic type. Message sent to the comp.lang.ml newsgroup (1995)

by Larry Paulson