An Extension of ML with First-Class Abstract Types

Publication
Proc. ACM SIGPLAN Workshop on ML and its Applications