ABSTRACT TYPES HAVE EXISTENTIAL TYPE.

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1985, Pages 37-51

  Mitchell, John C ^a   Plotkin, Gordon D ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - PROGRAMMING THEORY;

ABSTRACT DATA TYPES; TYPED PROGRAMMING LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0022250450     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)