Sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2000, Pages 34-43

  Taha, Walid ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES;

INTENSIONAL ANALYSIS; METAML PROGRAMMING LANGUAGE; MULTI-STAGE COMPUTATIONS;

COMPUTER SCIENCE;

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

References (38)