University of Birmingham > Talks@bham > Theoretical computer science seminar > Handlers in Scope with Adjunctions

## Handlers in Scope with AdjunctionsAdd to your list(s) Download to your calendar using vCal - Nicholas Wu (Bristol)
- Friday 23 February 2018, 11:00-12:00
- Computer Science, The Sloman Lounge (UG).
If you have a question about this talk, please contact Paul Taylor. Motivated by the problem of separating syntax form semantics in
programming with algebraic effects and handlers, we propose a
categorical model of abstract syntax with so-called Our model is based on what Ghani et al. called the monad of explicit
substitutions, defined using the initial-algebra semantics in the
category of endofunctors. We also introduce a new kind of multi-sorted
algebras, called This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Computer Science, The Sloman Lounge (UG)
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsMedical Imaging Research Seminars Analysis Reading Seminar 2019/2020 Birmingham Popular Maths Lectures## Other talksHorizontal Mean Curvature Flow and stochastic optimal controls Counting cycles in planar graphs TBA The tragic destiny of Mileva MariÄ‡ Einstein Control variates for computing transport coefficients TBA |