Search Engine

Dependent Types in Haskell by Stephanie Weirich

Dependent Types in Haskell by Stephanie WeirichDependent Types in Haskell by Stephanie Weirich

Video Informations

Title :Dependent Types in Haskell by Stephanie Weirich
Duration : 38 minutes, 42 seconds
Uploader : Strange Loop Conference
Added On: : 30 September, 2017
Views : 22.1K times
Likes : 0
Source : YouTube

Sharing


Descriptions

What has dependent type theory done for Haskell Over the past ten years, the Glasgow Haskell compiler (GHC) has adopted many type system features inspired by dependent type theory. In this talk, I will discuss the influence of dependent types on the desig

Related Videos