Все публикации

1:15:36

The Dhall language from the point of view of functional programming

0:48:26

Covariance, contravariance, and subtyping in functional programming

1:06:31

Functional programming and declarative programming

1:06:39

The Elm architecture from the functional programmer's point of view

0:44:02

Relational parametricity. Why the paper 'Theorems for Free' is hard to understand

0:57:42

Relational parametricity. Lecture 7. Advanced applications (last lecture)

0:23:55

Relational parametricity. Lecture 6. The wedge law and the naturality laws

0:27:15

Relational parametricity. Lecture 5. Proof of the relational parametricity law

0:27:32

Relational parametricity. Lecture 2, part 1. Defining fmap and cmap

0:27:20

Relational parametricity. Lecture 3. Motivation and definition for relations. Relation combinators

0:25:20

Relational parametricity. Lecture 4. Relational lifting operations

0:18:39

Relational parametricity. Lecture 2, part 2. Proofs of functor laws

0:46:06

Relational parametricity. Lecture 1. Motivation and applications. Yoneda identities

0:19:09

Editing my book using LyX

0:46:50

'Science of Functional Programming', Chapter 14. Monad transformers. Part 2 of 2

0:50:29

'Science of Functional Programming', chapter 14. Monad transformers. Part 1 of 2

1:30:48

Relational parametricity explained. The science behind 'theorems for free' (obsolete)

1:17:47

What I learned about functional programming while writing a book about it (extended version)

0:30:49

Functional programming, hors série. Equivalence of typeclass methods under laws

0:55:24

Explaining 'theorems for free' and parametricity, for practicing programmers. With code in Scala

1:14:38

Explaining the Curry-Howard correspondence for practical programmers. With code examples in Scala

0:52:26

What did functional programming ever do for us (software engineers)? A tutorial with code in Scala

1:54:29

Properties of natural transformations (Science of functional programming, hors série)

1:26:47

Parametricity properties of purely functional code (Science of Functional Programming, Appendix D)