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 Programming Research Group Seminar > A Core Quantitative Coeffect Calculus

## A Core Quantitative Coeffect CalculusAdd to your list(s) Download to your calendar using vCal - Marco Gaboardi (University of Dundee)
- Monday 05 May 2014, 11:00-12:00
- FW11.
If you have a question about this talk, please contact Dominic Orchard. Linear logic is well known for its resource-awareness, which has inspired the design of several resource management mechanisms in programming language design. Its resource-awareness arises from the distinction between linear, single-use data and non-linear, reusable data. The latter is marked by the so-called exponential modality, which, from the categorical viewpoint, is a (monoidal) comonad. Monadic notions of computation are well-established mechanisms used to express effects in pure functional languages. Less well-established is the notion of comonadic computation. However, recent works have shown the usefulness of comonads to structure context dependent computations. In this talk, I will present a language inspired by a generalized interpretation of the exponential modality. In this language the exponential modality carries a labelâ€”an element of a semiringâ€”that provides additional information on how a program uses its context. This additional structure is used to express comonadic type analysis I will conclude my talk by discussing an ongoing work about a quantitative calculus combining comonadic coeffects with monadic effects. I will show how a dependency between coeffects and effects corresponds to a distributivity law of (labeled) monads over (labeled) comonads. This talk is part of the Computer Laboratory Programming Research Group Seminar series. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Computer Laboratory Programming Research Group Seminar
- Computer Laboratory talks
- FW11
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
Note that ex-directory lists are not shown. |
## Other listsReproSoc George Pitt-Rivers Seminar Series Peptide Mini-Symposium## Other talksThe Age of the Applied Economist: The Transformation of Economics Since the 1970s The importance of seed testing Current-Induced Stresses in Ceramic Lithium-Ion Conductors Adrian Seminar: Ensemble coding in amygdala circuits Back on the Agenda? Industrial Policy revisited Conference CANCELLED: The cognitive neuroscience of antidepressant drug action |