Specifying interactions with dependent types (2000)

by Peter Hancock, Anton Setzer
Venue:In Workshop on subtyping and dependent types in programming