Skip to content

Types for Data-Oriented Languages.

Luca Cardelli

VenueBEDBT
Year1988
ProceedingsEDBT

Browse the full EDBT paper archive.