Compiling polymorphism using intensional type analysis

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

Volumn , Issue , 1995, Pages 130-141

  Harper, Robert ^a   Morrisett, Greg ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; CODES (SYMBOLS); COMPUTER PROGRAMMING; DATA STORAGE EQUIPMENT; PROGRAM COMPILERS;

MONOMORPHIC CODES; POLYMORPHISM;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0029190995     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/199448.199475     Document Type: Conference Paper

References (53)