Alejandro Serrano Mena - All You Wanted to Know About Type Classes
38:52
Alejandro Serrano Mena - All You Wanted to Know About Type Classes
2 жыл бұрын
Ryan Orendorff - Functional Programming + Dependent Types ≡ Verified Linear Algebra
48:37
Ryan Orendorff - Functional Programming + Dependent Types ≡ Verified Linear Algebra
2 жыл бұрын
Anton Kholomiov - Sound design with Haskell
26:52
Anton Kholomiov - Sound design with Haskell
2 жыл бұрын
Rebecca Skinner - Make It Purple: An Introduction To Type Level Programming
41:15
Rebecca Skinner - Make It Purple: An Introduction To Type Level Programming
2 жыл бұрын
Dmitrii Kovanikov - One way and another
45:05
Dmitrii Kovanikov - One way and another
2 жыл бұрын
Noon van der Silk - Quantum Computing and Haskell - A Linear Love Story?
42:59
Noon van der Silk - Quantum Computing and Haskell - A Linear Love Story?
2 жыл бұрын
Andrew Boardman - The Historical Futurism of Haskell
34:14
Andrew Boardman - The Historical Futurism of Haskell
2 жыл бұрын
Jan Christopher Vogt - Software like Lego - how Haskell naturally delivers on a decades old dream
35:40
Jan Christopher Vogt - Software like Lego - how Haskell naturally delivers on a decades old dream
2 жыл бұрын
Veronika Romashkina - Haskell LOL
40:39
Veronika Romashkina - Haskell LOL
2 жыл бұрын
Thomas Tuegel - Strict Haskell
40:53
Thomas Tuegel - Strict Haskell
2 жыл бұрын
Andrew Lelechenko - Tasty-bench: featherlight benchmark framework
43:20
Andrew Lelechenko - Tasty-bench: featherlight benchmark framework
2 жыл бұрын
Brent Yorgey - Competitive Programming in Haskell
34:08
Brent Yorgey - Competitive Programming in Haskell
2 жыл бұрын
Chris Penner - Alternative by example - A typeclass for parsing, concurrency, logic programming
46:58
Chris Penner - Alternative by example - A typeclass for parsing, concurrency, logic programming
2 жыл бұрын
Gergo Erdi - Executable, Synthesizable, Human Readable: Pick Three
41:06
Gergo Erdi - Executable, Synthesizable, Human Readable: Pick Three
2 жыл бұрын
Gershom Bazerman - The Best Reliable Software Technique You've Never Used: Unions
38:53
Gershom Bazerman - The Best Reliable Software Technique You've Never Used: Unions
2 жыл бұрын
Jeremy Gibbons - Continuation-passing style, defunctionalization, and associativity
45:46
Jeremy Gibbons - Continuation-passing style, defunctionalization, and associativity
2 жыл бұрын
Joseph Morag - Open Strings
38:14
Joseph Morag - Open Strings
2 жыл бұрын
Marcin Szamotulski - Protocol pipelining in Typed-Protocols
52:27
Marcin Szamotulski - Protocol pipelining in Typed-Protocols
2 жыл бұрын
Mikael Tonnberg - Knowledge as code - why we use Haskell at a fast growing startup
36:22
Mikael Tonnberg - Knowledge as code - why we use Haskell at a fast growing startup
2 жыл бұрын
Stephanie Weirich - How to Implement the Lambda Calculus, Quickly
39:35
Stephanie Weirich - How to Implement the Lambda Calculus, Quickly
2 жыл бұрын
Adam Fraser - Solve Your Concurrency Problems With ZIO STM
45:18
Adam Fraser - Solve Your Concurrency Problems With ZIO STM
2 жыл бұрын
Alex Archambault - Scala CLI a more powerful Scala command to get rid of build tools
46:55
Alex Archambault - Scala CLI a more powerful Scala command to get rid of build tools
2 жыл бұрын
Alfonso Roa Redondo - Fast and furiously safe: type safe programming with Spark DataFrames
32:34
Alfonso Roa Redondo - Fast and furiously safe: type safe programming with Spark DataFrames
2 жыл бұрын
Arseniy Zhizhelev - Relational Algebra in Scala3 - how is it possible?
33:55
Arseniy Zhizhelev - Relational Algebra in Scala3 - how is it possible?
2 жыл бұрын
Holden Karau - Practical Spark Encoders + Teaching Kids Apache Spark
33:31
Holden Karau - Practical Spark Encoders + Teaching Kids Apache Spark
2 жыл бұрын
Jacob Wang - Difflicious - Readable and Flexible diffs for your tests
24:52
Jacob Wang - Difflicious - Readable and Flexible diffs for your tests
2 жыл бұрын
Josep Prat - Preparing Apache Kafka for Scala 3
27:09
Josep Prat - Preparing Apache Kafka for Scala 3
2 жыл бұрын
Juan Manuel Serrano - To type or not to type: a matter of logic
32:13
Juan Manuel Serrano - To type or not to type: a matter of logic
2 жыл бұрын
Kacper Korban - Scala 3, but I have trust issues
33:38
Kacper Korban - Scala 3, but I have trust issues
2 жыл бұрын
Пікірлер