Berlin Functional Programming Group

ATS: Why Linear Types are the Future of Systems Programming 45:30
ATS: Why Linear Types are the Future of Systems Programming Berlin Functional Programming Group 9,992 4 года назад
John De Goes is Programming Without Type Classes 01:49:01
John De Goes is Programming Without Type Classes Berlin Functional Programming Group 6,697 4 года назад
FP Forum Online: Flavio Corpa, Torsten Scholak, and Richard Feldman 01:58:12
FP Forum Online: Flavio Corpa, Torsten Scholak, and Richard Feldman Berlin Functional Programming Group 8,952 4 года назад
An Adventure in Symbolic Execution with Gergő Érdi 01:30:11
An Adventure in Symbolic Execution with Gergő Érdi Berlin Functional Programming Group 542 4 года назад
Next-gen Haskell Compilation Techniques with Csaba Hruska 01:33:06
Next-gen Haskell Compilation Techniques with Csaba Hruska Berlin Functional Programming Group 3,846 4 года назад
How To Be an Effective Liar in Haskell 01:49:35
How To Be an Effective Liar in Haskell Berlin Functional Programming Group 1,969 4 года назад
Unison: An Introduction and Q&A with Rúnar Bjarnason 01:53:50
Unison: An Introduction and Q&A with Rúnar Bjarnason Berlin Functional Programming Group 2,907 5 лет назад
Fight Complexity with Functional Programming! With Gopal Akshintala! 01:26:25
Fight Complexity with Functional Programming! With Gopal Akshintala! Berlin Functional Programming Group 519 4 года назад
Gabriel Gonzalez on Dhall: A Programmable Configuration Language 01:52:56
Gabriel Gonzalez on Dhall: A Programmable Configuration Language Berlin Functional Programming Group 2,495 4 года назад
Hillel Wayne is Designing Distributed Systems with TLA+ 01:03:13
Hillel Wayne is Designing Distributed Systems with TLA+ Berlin Functional Programming Group 2,864 4 года назад
Ways of Dealing with Partial Functions in Haskell 36:59
Ways of Dealing with Partial Functions in Haskell Berlin Functional Programming Group 711 4 года назад
Type Inference from Scratch: A Workshop with Christoph Hegemann 02:29:13
Type Inference from Scratch: A Workshop with Christoph Hegemann Berlin Functional Programming Group 1,788 5 лет назад
Haskell for a New Decade with Stephen Diehl 01:59:37
Haskell for a New Decade with Stephen Diehl Berlin Functional Programming Group 8,902 4 года назад
Deconstructing Lambdas—An Awkward Guide to Programming Without Functions 01:57:53
Deconstructing Lambdas—An Awkward Guide to Programming Without Functions Berlin Functional Programming Group 5,455 4 года назад
Daniel Bachler Wants You to Get Stuff Done with F# 01:37:08
Daniel Bachler Wants You to Get Stuff Done with F# Berlin Functional Programming Group 2,045 4 года назад
Joe Kachmar Presents: Low-Level Programming in Haskell with Levity Polymorphism 01:13:42
Joe Kachmar Presents: Low-Level Programming in Haskell with Levity Polymorphism Berlin Functional Programming Group 1,780 5 лет назад
Ryan Orendorff about his talk "Functional Programming + Dependent Types ≡ Verified Linear Algebra" 01:27
Ryan Orendorff about his talk "Functional Programming + Dependent Types ≡ Verified Linear Algebra" Konfy 361 3 года назад
Alexander Granin Uses Free Monads in Real Production 01:14:23
Alexander Granin Uses Free Monads in Real Production Berlin Functional Programming Group 2,547 4 года назад
Safer Rust: Program Verification with Creusot 01:44:03
Safer Rust: Program Verification with Creusot Berlin Functional Programming Group 1,531 4 года назад
A Totally Non-Terrifying, Practical Introduction to Type-Level Programming 01:46:10
A Totally Non-Terrifying, Practical Introduction to Type-Level Programming Berlin Functional Programming Group 6,577 5 лет назад

Сейчас ищут