Higher-order modules and the phase distinction

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

Volumn , Issue , 1990, Pages 341-354

  Harper, Robert ^a   Mitchell, John C ^a   Moggi, Eugenio ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY; COMPUTER PROGRAMMING--ALGORITHMS;

PHASE DISTINCTION; TYPE CHECKING ALGORITHMS; TYPED FUNCTION CALCULUS; XML;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0025207868     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/96709.96744     Document Type: Conference Paper

References (18)