Dependent Types make bad data unrepresentable

6 years ago 895 Views

Dependent Types

6 years ago 193 Views

Introduction to the lambda calculus

7 years ago 1646 Views

Tools for reading papers

7 years ago 280 Views

Intoduction to Homotopy Type Therory

9 years ago 2726 Views

Type Theory and Practical Application

9 years ago 4053 Views

F# for functional enthusiasts

10 years ago 2390 Views

Linear structures lightning talk

10 years ago 860 Views

Functional linear data structures in f#

10 years ago 2408 Views