Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Sun 23 Aug 2020 12:45 - 13:30 at HOPE - Session 2

Data types and codata types in programming languages are alternative and dual ways to define types and their inhabitants. Data types specify canonical values, whereas codata types specify canonical observations. When designing languages, one strives for a small set of orthogonal features, which we think can be in parts achieved by using the duality of data and codata types. We developed a highly symmetric language based on a system of Zeilberger [2008], using Girard’s concept of daimons to model extra-logical effects. In this talk, we would like to present this language and show some applications to the study of effects. It features a separation between intra- and extra-logical effects via built-in continuations and daimons, respectively. Furthermore it seems to be a good vehicle to study the duality between effects and coeffects by allowing concepts like delimited continuations to be dualized in a straightforward manner.

Slides (slides.pdf)126KiB
Talk Proposal (paper.pdf)604KiB

Sun 23 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

12:00 - 14:00: HOPE 2020 - Session 2 at HOPE
hope-2020-papers12:00 - 12:45
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen, Germany
hope-2020-papers12:45 - 13:30
Ingo SkupinUniversity of Tübingen, Julian JabsUniversity of Tübingen, David BinderUniversity of Tübingen
File Attached