PER models of subtyping, recursive types and higher-order polymorphism

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

Volumn , Issue , 1992, Pages 316-327

  Bruce, Kim ^a   Mitchell, John C ^a  

^a WILLIAMS COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; MATHEMATICAL MODELS; RECURSIVE FUNCTIONS;

LAMBDA MODEL; PARTIAL EQUIVALENCE RELATIONS; POLYMORPHISM; RECURSIVE DOMAIN EQUATIONS; RECURSIVE TYPES; SUBTYPING;

OBJECT ORIENTED PROGRAMMING;

EID: 0026995981     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/143165.143230     Document Type: Conference Paper

References (31)