Applicative functors and fully transparent higher-order modules

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

Volumn , Issue , 1995, Pages 142-153

  Leroy, Xavier ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER SOFTWARE; NUMERICAL METHODS; PARALLEL PROCESSING SYSTEMS; PROGRAM COMPILERS;

ABSTRACTION; APPLICATIVE FUNCTORS; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0029205357     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/199448.199476     Document Type: Conference Paper

References (18)