Jun 12, 2015
Edwin Brady: Type-driven Development in Idris
seen from United States
seen from Russia
seen from United States
seen from Switzerland
seen from United Kingdom
seen from Germany
seen from United Kingdom
seen from Türkiye
seen from United States
seen from United Kingdom
seen from Malaysia
seen from United States
seen from Russia
seen from Poland
seen from United States
seen from United States
seen from Poland
seen from Libya
seen from United States
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