Interfaces and Extended ML

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki. Interfaces and Extended ML. In Workshop on Interface Definition Languages. pages 111-118, 1994.

Abstract

Abstract is missing.