Call by need computations to root-stable form

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

Volumn , Issue , 1997, Pages 94-105

  Middeldorp, Aart ^a  

^a UNIVERSITY OF TSUKUBA   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER PROGRAMMING LANGUAGES; PROGRAMMING THEORY;

CALL; OPTIMAL REDUCTION THEORY; ORTHOGONAL TERM REWRITING SYSTEMS; ROOT STABILITY;

COMPUTER PROGRAMMING;

EID: 0030706505     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/263699.263711     Document Type: Conference Paper

References (15)