Blogs (27) >>
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

hope-2017-talks
14:00 - 15:00: HOPE 2017 - Effects and Dependent Types at L3
hope-2017-talks150444000000014:00 - 14:30
Talk
hope-2017-talks150444180000014:30 - 15:00
Talk