Programming in martin-16f’s type theory (1985)

by B Nordstrom, K Peterson, J Smith
Venue:on Principles of Programming Languages