Monadic encapsulation of effects: A revised approach

Electronic Notes in Theoretical Computer Science

Volumn 26, Issue , 1999, Pages 121-

  Moggi, E ^a   Palumbo, F ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; DIFFERENTIATION (CALCULUS); MATHEMATICAL OPERATORS; PARAMETER ESTIMATION; SEMANTICS;

FUNCTIONAL LANGUAGES; IMPERATIVE PROGRAMMING; LAMBDA CALCULUS; MONADIC ENCAPSULATION;

COMPUTER PROGRAMMING;

EID: 3042816426     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80287-7     Document Type: Conference Paper

References (0)