"A Semantic Model of Types for Applicative Languages."

David B. MacQueen, Ravi Sethi (1982)

Details and statistics

DOI: 10.1145/800068.802156

access: closed

type: Conference or Workshop Paper

metadata version: 2021-08-06

a service of  Schloss Dagstuhl - Leibniz Center for Informatics