Philipp Hagenlocher

@UC3xdLFFsqG701QAyGJIPT1g - 11.2K subscribers

Programming and Computer Science Impressum: philipphagenlocher.de/impressum

Home Videos Live Playlists

I Wrote a Book! (+ the future of this channel)

I Wrote a Book! (+ the future of this channel) Philipp Hagenlocher

4.6K views - 1 year ago

Haskell for Imperative Programmers #43 - Cabal

Haskell for Imperative Programmers #43 - Cabal Philipp Hagenlocher

12K views - 5 years ago

Haskell for Imperative Programmers #42 - QuickSpec

Haskell for Imperative Programmers #42 - QuickSpec Philipp Hagenlocher

3.6K views - 5 years ago

Haskell for Imperative Programmers #41 - Formal Verification (using Isabelle)

Haskell for Imperative Programmers #41 - Formal Verification (using Isabelle) Philipp Hagenlocher

7.8K views - 5 years ago

Haskell for Imperative Programmers #40 - Termination Proofs

Haskell for Imperative Programmers #40 - Termination Proofs Philipp Hagenlocher

4K views - 5 years ago

Haskell for Imperative Programmers #39 - Induction Proofs

Haskell for Imperative Programmers #39 - Induction Proofs Philipp Hagenlocher

8.9K views - 5 years ago

Lazy Evaluation in Python

Lazy Evaluation in Python Philipp Hagenlocher

6K views - 5 years ago

Haskell for Imperative Programmers #38 - Monad Transformers

Haskell for Imperative Programmers #38 - Monad Transformers Philipp Hagenlocher

19K views - 5 years ago

Haskell for Imperative Programmers #37 - Arrows

Haskell for Imperative Programmers #37 - Arrows Philipp Hagenlocher

13K views - 5 years ago

Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads)

Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads) Philipp Hagenlocher

31K views - 5 years ago

Haskell for Imperative Programmers #35 - Semigroup & Monoid

Haskell for Imperative Programmers #35 - Semigroup & Monoid Philipp Hagenlocher

16K views - 5 years ago

Haskell for Imperative Programmers #34 - Profiling

Haskell for Imperative Programmers #34 - Profiling Philipp Hagenlocher

4.8K views - 6 years ago

Haskell for Imperative Programmers #33 - Parallelism

Haskell for Imperative Programmers #33 - Parallelism Philipp Hagenlocher

9K views - 6 years ago

Haskell for Imperative Programmers #32 - DeepSeq

Haskell for Imperative Programmers #32 - DeepSeq Philipp Hagenlocher

4.9K views - 6 years ago

Haskell for Imperative Programmers #31 - Weak Head Normal Form

Haskell for Imperative Programmers #31 - Weak Head Normal Form Philipp Hagenlocher

9.1K views - 6 years ago

Haskell for Imperative Programmers #30 - Software Transactional Memory (STM)

Haskell for Imperative Programmers #30 - Software Transactional Memory (STM) Philipp Hagenlocher

10K views - 6 years ago

Haskell for Imperative Programmers #29 - Semaphores (QSem, QSemN)

Haskell for Imperative Programmers #29 - Semaphores (QSem, QSemN) Philipp Hagenlocher

6.9K views - 6 years ago

Haskell for Imperative Programmers #28 - Concurrency & Threads

Haskell for Imperative Programmers #28 - Concurrency & Threads Philipp Hagenlocher

16K views - 6 years ago

Haskell for Imperative Programmers #27 - Exceptions

Haskell for Imperative Programmers #27 - Exceptions Philipp Hagenlocher

8.3K views - 6 years ago

Haskell for Imperative Programmers #26 - Strictness, Thunks & seq

Haskell for Imperative Programmers #26 - Strictness, Thunks & seq Philipp Hagenlocher

9.4K views - 6 years ago

Haskell for Imperative Programmers #25 - Compiling Binaries

Haskell for Imperative Programmers #25 - Compiling Binaries Philipp Hagenlocher

7.4K views - 6 years ago

Haskell for Imperative Programmers #24 - Environment

Haskell for Imperative Programmers #24 - Environment Philipp Hagenlocher

9.4K views - 6 years ago

Haskell for Imperative Programmers #23 - Modules

Haskell for Imperative Programmers #23 - Modules Philipp Hagenlocher

11K views - 6 years ago

Haskell for Imperative Programmers #22 - Either

Haskell for Imperative Programmers #22 - Either Philipp Hagenlocher

13K views - 6 years ago

Haskell for Imperative Programmers #21 - data, type & newtype

Haskell for Imperative Programmers #21 - data, type & newtype Philipp Hagenlocher

20K views - 6 years ago

Haskell for Imperative Programmers #20 - Advanced Exercises

Haskell for Imperative Programmers #20 - Advanced Exercises Philipp Hagenlocher

17K views - 6 years ago

Haskell for Imperative Programmers #19 - Infinite Lists

Haskell for Imperative Programmers #19 - Infinite Lists Philipp Hagenlocher

15K views - 6 years ago

Haskell for Imperative Programmers #18 - QuickCheck

Haskell for Imperative Programmers #18 - QuickCheck Philipp Hagenlocher

27K views - 6 years ago

Haskell for Imperative Programmers #17 - Monads

Haskell for Imperative Programmers #17 - Monads Philipp Hagenlocher

77K views - 6 years ago

Haskell for Imperative Programmers #16 - Type inference

Haskell for Imperative Programmers #16 - Type inference Philipp Hagenlocher

30K views - 6 years ago

Haskell for Imperative Programmers #15 - IO

Haskell for Imperative Programmers #15 - IO Philipp Hagenlocher

46K views - 6 years ago

Haskell for Imperative Programmers #14 - Maybe

Haskell for Imperative Programmers #14 - Maybe Philipp Hagenlocher

32K views - 6 years ago

Haskell for Imperative Programmers #13 - Typeclasses

Haskell for Imperative Programmers #13 - Typeclasses Philipp Hagenlocher

50K views - 6 years ago

Haskell for Imperative Programmers #12 - Records

Haskell for Imperative Programmers #12 - Records Philipp Hagenlocher

25K views - 6 years ago

Haskell for Imperative Programmers #11 - Folding Exercises

Haskell for Imperative Programmers #11 - Folding Exercises Philipp Hagenlocher

40K views - 6 years ago

Haskell for Imperative Programmers #10 - Datatypes

Haskell for Imperative Programmers #10 - Datatypes Philipp Hagenlocher

53K views - 6 years ago

Haskell for Imperative Programmers #9 - Folding (foldr, foldl)

Haskell for Imperative Programmers #9 - Folding (foldr, foldl) Philipp Hagenlocher

91K views - 6 years ago

Haskell for Imperative Programmers #8 - Function Composition

Haskell for Imperative Programmers #8 - Function Composition Philipp Hagenlocher

47K views - 6 years ago

Haskell for Imperative Programmers #7 - Partial Function Application & Currying

Haskell for Imperative Programmers #7 - Partial Function Application & Currying Philipp Hagenlocher

52K views - 6 years ago

Haskell for Imperative Programmers #6 - Higher Order Functions & Anonymous Functions

Haskell for Imperative Programmers #6 - Higher Order Functions & Anonymous Functions Philipp Hagenlocher

67K views - 6 years ago

Haskell for Imperative Programmers #5 - List Exercises

Haskell for Imperative Programmers #5 - List Exercises Philipp Hagenlocher

76K views - 6 years ago

Haskell for Imperative Programmers #4 - Lists and Tuples

Haskell for Imperative Programmers #4 - Lists and Tuples Philipp Hagenlocher

107K views - 6 years ago

Haskell for Imperative Programmers #3 - Recursion, Guards, Patterns

Haskell for Imperative Programmers #3 - Recursion, Guards, Patterns Philipp Hagenlocher

124K views - 6 years ago

Haskell for Imperative Programmers #2 - Functions, Types, let & where

Haskell for Imperative Programmers #2 - Functions, Types, let & where Philipp Hagenlocher

160K views - 6 years ago

Haskell for Imperative Programmers #1 - Basics

Haskell for Imperative Programmers #1 - Basics Philipp Hagenlocher

310K views - 6 years ago