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 Wednesday Seminars - Department of Computer Science and Technology series.

This talk is included in these lists:

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

Note that ex-directory lists are not shown.