Results 1 -
1 of
1
Monadic Style Control Constructs For Inference Systems
, 2002
"... Recent advances in programming languages study and design have established a standard way of grounding computational systems representation in category theory. These formal results led to a better understanding of issues of control and side-e#ects in functional and imperative languages. ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Recent advances in programming languages study and design have established a standard way of grounding computational systems representation in category theory. These formal results led to a better understanding of issues of control and side-e#ects in functional and imperative languages.
