Jun 12, 2015
Edwin Brady: Type-driven Development in Idris
seen from China
seen from Italy
seen from Hong Kong SAR China
seen from China
seen from China
seen from Canada
seen from Australia
seen from Hong Kong SAR China
seen from Russia
seen from Australia
seen from Malaysia
seen from Malaysia
seen from Malaysia
seen from Spain
seen from Kazakhstan
seen from China
seen from United States
seen from Malaysia
seen from Malaysia
seen from Netherlands
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