Algorithm for optimal lambda calculus reduction

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

Volumn , Issue , 1990, Pages 16-30

  Lamping, John ^a  

^a PALO ALTO RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY; COMPUTER PROGRAMMING--ALGORITHMS; COMPUTER SYSTEMS, DIGITAL--PARALLEL PROCESSING;

GRAPH REWRITE RULES; LAMBDA CALCULUS; LAMBDA EXPRESSION REDUCTION; PARALLEL ALGORITHMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0025235135     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/96709.96711     Document Type: Conference Paper

References (9)