POPL 2017
Sun 15 - Sat 21 January 2017
Wed 18 Jan 2017 09:05 - 10:00 at Auditorium - Invited speaker Chair(s): Andrew D. Gordon

What has dependent type theory done for Haskell? In this talk, I will discuss the influence of dependent types on the design of programming languages and on the practice of functional programmers. Over the past ten years, the Glasgow Haskell compiler has adopted several type system features inspired by dependent type theory. However, this process has not been a direct translation; working in the context of an existing language has lead us to new designs in the semantics of dependent types. I will take a close look at what we have achieved in GHC and discuss what we have learned from this experiment: what works now, what doesn’t work yet, and what has surprised us along the way.

Wed 18 Jan

09:05 - 10:00: POPL - Invited speaker at Auditorium
Chair(s): Andrew D. Gordon
POPL-2017-papers148472670000009:05 - 10:00