Typing record concatenation for free

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

Volumn , Issue , 1992, Pages 166-176

  Remy, Didier ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL GRAMMARS; DATA HANDLING; DATABASE SYSTEMS; OBJECT ORIENTED PROGRAMMING; PROGRAM TRANSLATORS; PROGRAMMING THEORY;

FUNCTIONAL PROGRAMMING; RECORD CONCATENATION; RECORD EXTENSION; STANDARD ML PROGRAMMING LANGUAGE; TYPE INFERENCE ALGORITHM;

HIGH LEVEL LANGUAGES;

EID: 0026982458     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/143165.143202     Document Type: Conference Paper

References (16)