Specifying Interactions With Dependent Types (2000)

by Peter Hancock , Anton Setzer
Venue:In Workshop on subtyping and dependent types in programming
Citations:5 - 4 self