Jun 12, 2015
Edwin Brady: Type-driven Development in Idris
Loading...
seen from China
seen from United States
seen from Malaysia
seen from Malaysia
seen from Malaysia
seen from Singapore
seen from Malaysia
seen from United States
seen from United States
seen from Türkiye
seen from United States
seen from Saudi Arabia
seen from United States
seen from United States
seen from United States
seen from Malaysia
seen from Malaysia
seen from United States
seen from Germany
seen from Russia
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