Dependent Types make bad data unrepresentable

il y a 6 ans 895 Vues

Dependent Types

il y a 6 ans 193 Vues

Introduction to the lambda calculus

il y a 7 ans 1645 Vues

Tools for reading papers

il y a 7 ans 280 Vues

Functional programming for production quality code

il y a 9 ans 1519 Vues

Intoduction to Homotopy Type Therory

il y a 9 ans 2726 Vues

Type Theory and Practical Application

il y a 9 ans 4053 Vues

F# for functional enthusiasts

il y a 10 ans 2390 Vues

Semantically coherent functional linear data structures

il y a 10 ans 1009 Vues

Linear structures lightning talk

il y a 10 ans 860 Vues

Functional linear data structures in f#

il y a 10 ans 2408 Vues