Type checking higher-order polymorphic multi-methods

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

Volumn , Issue , 1997, Pages 302-315

  Bourdoncle, Francois ^a   Merz, Stephan ^a  

^a PSL RESEARCH UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DECISION THEORY; OBJECT ORIENTED PROGRAMMING;

FUNCTIONAL LANGUAGES; FUNCTIONAL PROGRAMMING; HIGHER ORDER POLYMORPHIC MULTI METHODS;

PROGRAMMING THEORY;

EID: 0030712719     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/263699.263743     Document Type: Conference Paper

References (41)