Putting type annotations to work

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

Volumn , Issue , 1996, Pages 54-67

  Odersky, Martin ^a   Laeufer, Konstantin ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; ENCODING (SYMBOLS); FUNCTIONS;

ABSTRACT COMPONENTS; HINDLEY MILNER SYSTEM; POLYMORPHIC LAMBDA CALCULUS; TYPE ANNOTATIONS; TYPE DECLARATIONS; TYPE RECONSTRUCTION; USER DEFINED DATA TYPES;

PROGRAMMING THEORY;

EID: 0029703265     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/237721.237729     Document Type: Conference Paper

References (31)