Subtyping with Singleton Types (1995)

by David Aspinall
Venue:In Eighth International Workshop on Computer Science Logic