The type theory of PL/CV3 (1984)

by R L Constable, D R Zlatin
Venue:ACM Transactions on Progamming Languages and Systems