Jun 12, 2015
Edwin Brady: Type-driven Development in Idris
seen from United States
seen from United States
seen from United States
seen from Brazil
seen from Japan
seen from Russia
seen from Poland
seen from Australia
seen from United Kingdom
seen from Hong Kong SAR China
seen from Poland
seen from United States
seen from Hong Kong SAR China
seen from United States
seen from Brazil
seen from Ecuador
seen from Poland
seen from United States
seen from Belarus
seen from Russia
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