Fold and unfold for program semantics

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

Volumn , Issue , 1998, Pages 280-288

  Hutton, Graham ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA REDUCTION; DATA STRUCTURES; MATHEMATICAL OPERATORS; RECURSIVE FUNCTIONS;

PROGRAM SEMANTICS;

PROGRAMMING THEORY;

EID: 0031611722     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/289423.289457     Document Type: Article

References (21)