Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sun 3 Sep 2017 14:30 - 15:00 at L3 - Effects and Dependent Types

Control operators and dependent types have been used to solve major challenges in natural language semantics. However, in programming language semantics, combining control operators and dependent types is an open problem. In this talk, we present a model of a dependently typed language with shift and reset, and a prototype implementation of the model in Cur, a dependently typed language with support for safe and sophisticated user-defined extensions. The model is useful for representing certain classes of natural language sentences and provides insights into the problem adding control operators to dependently typed languages.

Sun 3 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

14:00 - 15:00
Effects and Dependent TypesHOPE at L3
14:00
30m
Talk
Handling fibred algebraic effects
HOPE
Danel AhmanUniversity of Edinburgh
14:30
30m
Talk
Only Control Effects and Dependent Types
HOPE
Youyou CongOchanomizu University, William J. BowmanNortheastern University