Syntactic Control of Interference and Linear Logic, SCILL'95
Glasgow University, Monday 31 July -- Thursday 3 August 1995
The
full version
of this Call for Participation is available.
Reynold's Syntactic Control of Interference (SCI) and Girard's
Linear Logic (LL) appear to be connected, but the precise nature of
the connection remains elusive. Outstanding mysteries include:
-
Various systems for adding state to functional languages have been
proposed by Hudak, Odersky, Reddy, Wadler, and others. These
systems overlap with SCI, with LL, and with each other. They
possess clear similarities but also disturbing differences. Is
there a deep connection between them?
-
In particular, each of the systems above has a notion of `read
only' type. How does this link with the `passive' types of SCI
and the `of course' types of LL?
-
Girard and Reynolds also contributed to notions of semantic
parametricity, which O'Hearn and Tennant have shown also helps
to model state. Does parametricity have a role to play in
understanding SCI and LL?
-
Linear logic is categorically modelled by comonads (with some
additional structure), while monads (with different additional
structure) have been used to model state. Is this similarity a
mirage, or is there a true duality?
The goal of this workshop is to get together some of the main
developers of these ideas, in an attempt to bring out the relationships
between them. It is proposed to have few participants and plenty of
time in order that the `work' in `workshop' can be taken seriously!
The focus will be on building understanding, and we hope new analyses
and syntheses will emerge.
Participation is by invitation only. If you are interested in
actively exploring the interaction between SCI, LL, and state, please
ask to be invited. Or let us know if there is someone we should invite.
There is a SCILL
home page
.