Recursive subtyping revealed (Functional pearl)

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2000, Pages 221-231

  Gapeyev, Vladimir ^a   Levin, Michael Y ^a   Pierce, Benjamin C ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS;

RECURSIVE SUBTYPING;

RECURSIVE FUNCTIONS;

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

References (20)