Intersection types and computational effects

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

Volumn , Issue , 2000, Pages 198-208

  Davies, Rowan ^a   Pfenning, Frank ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS; PROGRAM COMPILERS;

POLYMORPHISM;

COMPUTATIONAL LINGUISTICS;

EID: 0034547252     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/357766.351259     Document Type: Conference Paper

References (22)