![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Computer Laboratory Wednesday Seminars > Algebraic theories and computational effects
![]() Algebraic theories and computational effectsAdd 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. |
Other listsCambridge Migration Society Sustainable Development: 11th Distinguished Lecture Series 2013 BSS Formal SeminarsOther talksRichard Horton (The Lancet Cheif Editor): Scientific Publishing Biological and Clinical Features of High Grade Serous Ovarian Cancer Psychology and Suicidal Behaviour Algorithmic Investigation of Large Biological Data sets Succulents with Altitude |