Abstract Yuning Feng

Title: Beck's construction and control effect

Abstract: By distinguishing effectful computation from value, we can
obtain elegant programming languages with side effects, in which the
relation of computation and value is modelled by an adjunction. Control
effect is a kind of side effect that could change the execution flow of
programs. It is achieved by altering a part of configuration that
remembers fragments awaiting suitably processed counterparts for
evaluation. Beck, in his analysis of monadicity, gives a general recipe
for constructing the left adjoint of the comparison functor. When
applied to our setting, his construction provides the obvious way to
interpret the type of that part of configuration. Interestingly, using
this construction also forces us to formulate program behaviour relative
to an indefinite program fragment, which does not have to be present for
an intuitive formulation. This tension between model and intuitive
operational description is the phenomenon we would like to call
attention to.

Share this page:

Contact details

Department of Mathematics
University of Leicester
University Road
Leicester LE1 7RH
United Kingdom

Tel.: +44 (0)116 229 7407

Campus Based Courses

Undergraduate: mathsug@le.ac.uk
Postgraduate Taught: mathspg@le.ac.uk

Postgraduate Research: pgrmaths@le.ac.uk

Distance Learning Course  

Actuarial Science:

DL Study

Student complaints procedure

DisabledGo logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has detailed accessibility guides for College House and the Michael Atiyah Building.