The top documents of jack-fox
Type Theory and Practical Application
1.087 views
Working with functional data structures
896 views
F# for functional enthusiasts
1.146 views
Intoduction to Homotopy Type Therory
967 views
Linear structures lightning talk
492 views
Functional linear data structures in f#
1.204 views
Tools for reading papers
33 views
Introduction to the lambda calculus
125 views