Improvement in a lazy context: An operational theory for call-by-need

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

Volumn , Issue , 1999, Pages 43-56

  Moran, Andrew ^a   Sands, David ^a  

^a UNIVERSITY OF GOTHENBURG   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY;

LAZY FUNCTIONAL LANGUAGES; OPERATIONAL CALL-BY-NEED THEORY;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0032691974     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (42)