haskell for imperative programmers #41 - formal verification (using isabelle)
Published 3 years ago • 6.2K plays • Length 1:23:13Download video MP4
Download video MP3
Similar videos
-
35:15
haskell for imperative programmers #42 - quickspec
-
36:52
haskell for imperative programmers #43 - cabal
-
5:42
haskell for imperative programmers #1 - basics
-
3:40
haskell for imperative programmers #14 - maybe
-
15:59
haskell for imperative programmers #40 - termination proofs
-
26:12
haskell for imperative programmers #28 - concurrency & threads
-
21:30
why learn haskell in 2024?
-
3:00
you want to learn haskell. this is why.
-
15:12
the absolute best intro to monads for software engineers
-
4:59
haskell for imperative programmers #21 - data, type & newtype
-
9:03
haskell for imperative programmers #22 - either
-
5:31
haskell for imperative programmers #6 - higher order functions & anonymous functions
-
9:32
haskell for imperative programmers #25 - compiling binaries
-
24:15
haskell for imperative programmers #30 - software transactional memory (stm)
-
5:59
haskell for imperative programmers #2 - functions, types, let & where
-
11:37
haskell for imperative programmers #18 - quickcheck
-
14:43
haskell for imperative programmers #17 - monads