Subtyping with Singleton Types (1995)
by
David Aspinall
| Venue: | In Eighth International Workshop on Computer Science Logic |
| Citations: | 42 - 3 self |
Active Bibliography
No active bibliography identified.
