Rolling your own mutable ADT - a connection between linear types and monads

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

Volumn , Issue , 1997, Pages 54-66

  Chen, Chih Ping ^a   Hudak, Paul ^a  

^a YALE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; CRYPTOGRAPHY; DATA STRUCTURES; PROBLEM SOLVING; PROGRAMMING THEORY;

AXIOMATIZATION; IMPERATIVE FUNCTIONAL PROGRAMMING; MONADS; SEMANTICS; STATE;

COMPUTER PROGRAMMING;

EID: 0030713531     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/263699.263708     Document Type: Conference Paper

References (21)