Jun 12, 2015
Edwin Brady: Type-driven Development in Idris
Loading...
seen from Germany
seen from China
seen from China
seen from Germany
seen from South Africa
seen from United States
seen from Germany
seen from United States
seen from United States
seen from China
seen from United States
seen from Uruguay
seen from Türkiye
seen from China
seen from China
seen from Italy
seen from Italy
seen from Germany
seen from T1
seen from T1
Edwin Brady: Type-driven Development in Idris
Anya is live and ready to show you everything. Watch her strip, dance, and perform exclusive shows just for you. Interact in real-time and make your fantasies come true.
Free to watch • No registration required • HD streaming
Miles Sabin: The Swiss Army Knife of Generic Programming: Shapeless’s Type Class Derivation in Action
Bodil Stokke: Purescript
Alissa Pajer: Free All the Functors
Chris Ford: The Hitchhiker’s Guide to the Curry-Howard Correspondence
Anya is live and ready to show you everything. Watch her strip, dance, and perform exclusive shows just for you. Interact in real-time and make your fantasies come true.
Free to watch • No registration required • HD streaming
Lars Albertsson: Functional Architectural Patterns
Chris Ford: Functional Composition
Einar Høst, Jonas Winje: Existential Lambda Calculus