Monadic state: Axiomatization and type safety

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 1997, Pages 227-238

  Launchbury, John ^a   Sabry, Amr ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; PROGRAM COMPILERS; PROGRAMMING THEORY; THEOREM PROVING;

AXIOMATIZATION; MONADIC STATE; TYPE SAFETY;

COMPUTER PROGRAMMING;

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

References (29)