Algebraic theories and computational effects
Add to your list(s)
Download to your calendar using vCal
If you have a question about this talk, please contact Stephen Clark.
Algebraic theories provide a general way to study
computational effects in an impure functional programming language—
effects such as reading/writing to memory, raising exceptions, and
non-deterministic choice. The algebraic theories are equational, and so they
suggest program transformations on top of a semantic analysis.
I will give a basic introduction to this recent topic and present my work in
this area.
This talk is part of the Computer Laboratory Wednesday Seminars series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
|