COMPLETE TYPE INFERENCE FOR SIMPLE OBJECTS.

Volumn , Issue , 1987, Pages 37-44

  Wand, Mitchell ^a  

^a NORTHEASTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING - STRUCTURED PROGRAMMING; COMPUTER SYSTEMS PROGRAMMING;

CARDELLI'S SYSTEM; COMPLETE TYPE INFERENCE FOR SIMPLE OBJECTS; OBJECT-ORIENTED PROGRAMMING SYSTEMS; POLYMORPHIC DEFINITIONS; SIMPLY-TYPED LAMBDA CALCULUS;

COMPUTER PROGRAMMING LANGUAGES;

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

References (6)