01:38
Learn Haskell with HASKELL BOOKCAMP
36:52
Haskell for Imperative Programmers #43 - Cabal
35:15
Haskell for Imperative Programmers #42 - QuickSpec
01:23:13
Haskell for Imperative Programmers #41 - Formal Verification (using Isabelle)
15:59
Haskell for Imperative Programmers #40 - Termination Proofs
13:29
Haskell for Imperative Programmers #39 - Induction Proofs
18:06
Lazy Evaluation in Python
10:23
Haskell for Imperative Programmers #38 - Monad Transformers
13:15
Haskell for Imperative Programmers #37 - Arrows
30:20
Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads)
20:42
Haskell for Imperative Programmers #35 - Semigroup & Monoid
33:38
Haskell for Imperative Programmers #34 - Profiling
56:39
Haskell for Imperative Programmers #33 - Parallelism
22:13
Haskell for Imperative Programmers #32 - DeepSeq
23:13
Haskell for Imperative Programmers #31 - Weak Head Normal Form
24:15
Haskell for Imperative Programmers #30 - Software Transactional Memory (STM)
16:02
Haskell for Imperative Programmers #29 - Semaphores (QSem, QSemN)
26:12
Haskell for Imperative Programmers #28 - Concurrency & Threads
11:07
Haskell for Imperative Programmers #27 - Exceptions
11:08
Haskell for Imperative Programmers #26 - Strictness, Thunks & seq
09:32
Haskell for Imperative Programmers #25 - Compiling Binaries
11:56
Haskell for Imperative Programmers #24 - Environment
09:20
Haskell for Imperative Programmers #23 - Modules
09:03
Haskell for Imperative Programmers #22 - Either
04:59
Haskell for Imperative Programmers #21 - data, type & newtype
27:06
Haskell for Imperative Programmers #20 - Advanced Exercises
14:27
Haskell for Imperative Programmers #19 - Infinite Lists
11:37
Haskell for Imperative Programmers #18 - QuickCheck
14:43
Haskell for Imperative Programmers #17 - Monads
12:01
Haskell for Imperative Programmers #16 - Type inference
10:31
Haskell for Imperative Programmers #15 - IO
03:40
Haskell for Imperative Programmers #14 - Maybe
07:27
Haskell for Imperative Programmers #13 - Typeclasses
02:49
Haskell for Imperative Programmers #12 - Records
13:08
Haskell for Imperative Programmers #11 - Folding Exercises
04:55
Haskell for Imperative Programmers #10 - Datatypes
11:13
Haskell for Imperative Programmers #9 - Folding (foldr, foldl)
07:28
Haskell for Imperative Programmers #8 - Function Composition
03:31
Haskell for Imperative Programmers #7 - Partial Function Application & Currying
05:31
Haskell for Imperative Programmers #6 - Higher Order Functions & Anonymous Functions
10:37
Haskell for Imperative Programmers #5 - List Exercises
11:03
Haskell for Imperative Programmers #4 - Lists and Tuples
07:49
Haskell for Imperative Programmers #3 - Recursion, Guards, Patterns
05:59
Haskell for Imperative Programmers #2 - Functions, Types, let & where
05:42
Haskell for Imperative Programmers #1 - Basics