Stefan Kahrs Donald Sannella Andrzej Tarlecki Interfaces and Extended ML. 111-118 1994 Workshop on Interface Definition Languages db/conf/idl/idl94.html#KahrsST94