Indexed types (1997)

by Christoph Zenger
Venue:Theoretical Computer Science