Dependent Types make bad data unrepresentable

Vor 6 Jahren 895 Aufrufe

Dependent Types

Vor 6 Jahren 193 Aufrufe

Introduction to the lambda calculus

Vor 7 Jahren 1648 Aufrufe

Tools for reading papers

Vor 7 Jahren 281 Aufrufe

Functional programming for production quality code

Vor 9 Jahren 1519 Aufrufe

Intoduction to Homotopy Type Therory

Vor 9 Jahren 2728 Aufrufe

Type Theory and Practical Application

Vor 9 Jahren 4055 Aufrufe

F# for functional enthusiasts

Vor 10 Jahren 2390 Aufrufe

Semantically coherent functional linear data structures

Vor 10 Jahren 1009 Aufrufe

Linear structures lightning talk

Vor 10 Jahren 860 Aufrufe

Functional linear data structures in f#

Vor 10 Jahren 2408 Aufrufe