Types for data-oriented languages (1988)

by Luca Cardelli
Venue:In First Conference on Extending Database Technology
Citations:17 - 0 self