TIL: a type-directed optimizing compiler for ML

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 1996, Pages 181-192

  Tarditi, D ^a   Morrisett, G ^a   Cheng, P ^a   Stone, C ^a   Harper, R ^a   Lee, P ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; DIGITAL ARITHMETIC; FORTRAN (PROGRAMMING LANGUAGE); FUNCTIONS; OBJECT ORIENTED PROGRAMMING; OPTIMIZATION; PERFORMANCE; RECURSIVE FUNCTIONS;

CONVENTIONAL FUNCTIONAL LANGUAGE OPTIMIZATION; INTENSIONAL POLYMORPHISM; LEROYS INTERPRETATION ANALYSIS; LOOP OPTIMIZATION; NEARLY TAG FREE GARBAGE COLLECTION; STANDARD ML; TYPED INTERMEDIATE LANGUAGES;

PROGRAM COMPILERS;

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

References (48)