Subtyping with Singleton Types (1995)

View PDF

Download Links

by David Aspinall
Venue:In Eighth International Workshop on Computer Science Logic
Citations:49 - 4 self

Document Versions

Subtyping with Singleton Types –David Aspinall — 1995 — In Eighth International Workshop on Computer Science Logic