Correctness of monadic state: An imperative call-by-need calculus

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

Volumn , Issue , 1998, Pages 62-74

  Ariola, Zena M ^a   Sabry, Amr ^a  

^a UNIVERSITY OF OREGON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; OPTIMIZATION; PROGRAM COMPILERS;

HASKELL CODES; MONADIC STATES;

HIGH LEVEL LANGUAGES;

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

References (36)