Optimality and inefficiency: What isn't a cost model of the lambda calculus?

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

Volumn , Issue , 1996, Pages 92-101

  Lawall, Julia L ^a   Mairson, Harry G ^a  

^a Campus Universitaire de Beaulieu ^*  (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FUNCTION EVALUATION; OPTIMIZATION;

COMPUTATIONAL EFFICIENCY; LAMBDA CALCULUS; OPTIMAL EVALUATION; SHARING GRAPHS;

COMPUTATIONAL GRAMMARS;

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

References (20)