58:23Evan Czaplicki - Let's be mainstream! User focused design in Elm - Curry OnCurry On!Recommended by 10 • 11 years agoClassic
40:39Edwin Brady - Idris 2 - Type-driven Development of IdrisCurry On!Recommended by 6 • 7 years agoClassic
1:03:34Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic languageCurry On!Recommended by 5 • 8 years agoHidden gem
48:36Matt Might - Winning the War on Error Solving the Halting Problem and Curing CancerCurry On!Recommended by 4 • 9 years agoHidden gem
37:01John Mumm - A CRDT Primer: Defanging Order TheoryCurry On!Recommended by 3 • 8 years agoHidden gem
34:12Julien Verlaguet - Reflex: Reactive Programming at FacebookCurry On!Recommended by 3 • 9 years agoHidden gem
39:07Philip Wadler - Everything old is new again: Quoted domain specific languages - Curry OnCurry On!Recommended by 3 • 11 years agoHidden gem
44:43Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry OnCurry On!Recommended by 3 • 11 years agoClassic
31:06John Mumm - Safely Sharing Data - Reference Capabilities in the Pony Programming LanguageCurry On!Recommended by 2 • 7 years agoClassic
48:05David Christiansen - Coding for Types: The Universe Patern in Idris - Curry OnCurry On!Recommended by 2 • 11 years agoHidden gem
43:55Manuel Chakravarty - Haskell SpriteKit: A Case Study in Turning a Stateful into a Functional APICurry On!Recommended by 1 • 9 years ago
54:47Ron Pressler - Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry OnCurry On!Recommended by 1 • 10 years ago
43:29Markus Völter: The future of DSLs - functions and formal methodsCurry On!Recommended by 1 • 7 years ago
42:40Michael Sperber - The Functional Programming Languages Nomad - Curry onCurry On!Recommended by 1 • 10 years ago
38:47Julian Arni - Servant: a type level DSL for web APIs - Curry OnCurry On!Recommended by 1 • 11 years ago
44:14Alexander Thiemann - SuperRecord: Practical Anonymous Records for HaskellCurry On!Recommended by 1 • 8 years ago
41:05Sean Grove - From Unikernels to Databases to UIs: Truly full-stack apps in OCaml - Curry OnCurry On!Recommended by 1 • 10 years ago