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 listsCondensed Matter Physics Seminars BritGrav 15 SERENE Seminars## Other talksTBC Ultrafast, all-optical, and highly efficient imaging of molecular chirality Geometry of alternating projections in metric spaces with bounded curvature Sensing and metrology activities at NPL, India Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems Perfect matchings in random sparsifications of Dirac hypergraphs |