Dynamic typing via tags in ML

15-312 Foundations of Programming Languages
Frank Pfenning, Fall 02
Chapter 24 of Harper

tagged.sml --- representation in ML