Jun 12, 2015
Edwin Brady: Type-driven Development in Idris
seen from United Kingdom
seen from Singapore
seen from China
seen from Mexico
seen from United States
seen from United Kingdom
seen from Netherlands
seen from United States
seen from United States
seen from United States
seen from United States
seen from United Kingdom
seen from Argentina
seen from China
seen from United States
seen from Australia
seen from Malaysia
seen from Sweden
seen from China
seen from United States
Edwin Brady: Type-driven Development in Idris
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
Lars Albertsson: Functional Architectural Patterns
Chris Ford: Functional Composition
Einar Høst, Jonas Winje: Existential Lambda Calculus