Types for data-oriented languages [chapter]

Luca Cardelli
1988 Lecture Notes in Computer Science  
doi:10.1007/3-540-19074-0_44 fatcat:alatxtfdczaybjoimcmtbaegi4