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

Displayed time zone: Belfast change

14:00 - 15:00
Effects and Dependent TypesHOPE at L3
Handling fibred algebraic effects
Danel Ahman University of Edinburgh
Only Control Effects and Dependent Types
Youyou Cong Ochanomizu University, William J. Bowman Northeastern University