Warm fusion: deriving build-catas from recursive definitions

Volumn , Issue , 1995, Pages 314-323

  Launchbury, John ^a   Sheard, Tim ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTATIONAL METHODS; DATA STRUCTURES; PROGRAM COMPILERS; RECURSIVE FUNCTIONS;

ABSTRACT SYNTAX TREE; CATAMORPHISMS; CONSTRUCTOR ABSTRACTION; MULTI PASS ALGORITHMS; PROGRAM FUSION;

PROGRAMMING THEORY;

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

References (13)