ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Mon 8 Apr 2019 14:00 - 14:30 at SUN II - Language Design Chair(s): Atsushi Igarashi

Computer scientists are well-versed in dealing with data structures. The same cannot be said about their dual: codata. Even though codata is pervasive in category theory, universal algebra, and logic, the use of codata for programming has been mainly relegated to representing infinite objects and processes. Our goal is to demonstrate the benefits of codata as a general-purpose programming abstraction independent of any specific language (i.e. with a specific evaluation strategy, typing discipline, paradigm, etc.). While codata is not featured in many programming languages today, we show how codata can be easily adopted and implemented by offering simple inter-compilation techniques between data and codata. Ultimately, we hope to utilize the Curry-Howard correspondence to find a common ground and bridge the gap between the functional and object-oriented paradigms.

Mon 8 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 16:00
Language DesignESOP at SUN II
Chair(s): Atsushi IgarashiKyoto University, Japan
14:00
30m
Talk
Codata in Action
ESOP
Paul DownenUniversity of Oregon, USA, Zachary Sullivan, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK
Link to publication
14:30
30m
Talk
Composing bidirectional programs monadically
ESOP
Li-yao XiaUniversity of Pennsylvania, Dominic OrchardUniversity of Kent, UK, Meng WangUniversity of Bristol, UK
Link to publication
15:00
30m
Talk
Counters in Kappa: Semantics, Simulation, and Static Analysis
ESOP
Link to publication
15:30
30m
Talk
One Step at a Time
ESOP
Kathleen FisherTufts University, Ferdinand VeselySwansea University
Link to publication