haskell for imperative programmers #30 - software transactional memory (stm)
Published 4 years ago • 8.7K plays • Length 24:15Download video MP4
Download video MP3
Similar videos
-
56:39
haskell for imperative programmers #33 - parallelism
-
33:38
haskell for imperative programmers #34 - profiling
-
5:42
haskell for imperative programmers #1 - basics
-
36:52
haskell for imperative programmers #43 - cabal
-
12:01
haskell for imperative programmers #16 - type inference
-
4:59
haskell for imperative programmers #21 - data, type & newtype
-
3:00
you want to learn haskell. this is why.
-
8:21
domain modelling with haskell: generalizing with foldable and traversable
-
6:51
how to read haskell code (in 7 minutes)
-
9:32
haskell for imperative programmers #25 - compiling binaries
-
22:13
haskell for imperative programmers #32 - deepseq
-
14:27
haskell for imperative programmers #19 - infinite lists
-
11:37
haskell for imperative programmers #18 - quickcheck
-
7:49
haskell for imperative programmers #3 - recursion, guards, patterns
-
23:13
haskell for imperative programmers #31 - weak head normal form
-
3:40
haskell for imperative programmers #14 - maybe
-
16:02
haskell for imperative programmers #29 - semaphores (qsem, qsemn)
-
4:55
haskell for imperative programmers #10 - datatypes
-
1:23:13
haskell for imperative programmers #41 - formal verification (using isabelle)
-
15:59
haskell for imperative programmers #40 - termination proofs