KEMBAR78
Jack Fox, Engineer at tachyus at Tachyus
Jack Fox, profile picture

Jack Fox

Sort by
Dependent Types make bad data unrepresentable
Dependent Types
Introduction to the lambda calculus
Tools for reading papers
Functional programming for production quality code
Intoduction to Homotopy Type Therory
Type Theory and Practical Application
F# for functional enthusiasts
Semantically coherent functional linear data structures
Linear structures lightning talk
Functional linear data structures in f#