University of Cambridge > Talks.cam > Computer Laboratory Wednesday Seminars > Algebraic theories and computational effects

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2017 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity