Abstract data types in standard ML

by Jill Levenson

This book presents a thorough treatment of data abstraction within a functional framework. The approach to abstract data types strikes a balance between the theoretical and the practical, stressing…