First-class polymorphism with type inference

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

Volumn , Issue , 1997, Pages 483-496

  Jones, Mark P ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; DATA PROCESSING; DATA STRUCTURES;

FIRST CLASS POLYMORPHISM; TYPE INFERENCE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0030651655     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/263699.263765     Document Type: Conference Paper

References (34)