Algebraic theories and computational effects

Add to your list(s) Download to your calendar using vCal

• Sam Staton (Computer Laboratory, University of Cambridge)
• Wednesday 09 November 2011, 14:15-15:15
• Lecture Theatre 1, Computer Laboratory.

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:

• All Talks (aka the CURE list)
• Chris Davis' list
• Computer Laboratory Wednesday Seminars
• Computer Laboratory talks
• Guy Emerson's list
• Lecture Theatre 1, Computer Laboratory
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• computer science
• se393's list

Note that ex-directory lists are not shown.