24: Jeremy Gibbons

1

Introduction

00:00 • 2min

2

The History of Haskell

01:32 • 3min

3

Haskell and the Standardization Process

04:54 • 2min

4

The Importance of Attribute Grammar in Functional Programming

07:18 • 5min

5

How I Learned to Love Teaching

12:21 • 3min

6

The Importance of Teaching

15:13 • 2min

7

The Haskell Report

17:05 • 2min

8

The Serendipity of a Job in Oxford

19:17 • 3min

9

The Evolution of Functional Programming

22:04 • 4min

10

Haskell and the Future of Programming

26:15 • 2min

11

How to Teach Lists in Haskell

28:11 • 3min

12

How to Teach Haskell Programming

31:21 • 2min

13

The Importance of Understanding the Different Abstraction Mechanisms

33:23 • 3min

14

The Importance of Dependent Types in Haskell

36:30 • 1min

15

The Disadvantages of Haskell

37:57 • 5min

16

Haskell: A Dependently Type Programming Language

42:46 • 2min

17

What Are Your Goals for Your Academic Career?

45:02 • 3min

18

What Is a Functional Pearl?

47:51 • 3min

19

The Importance of Short Papers

51:09 • 3min

20

How to Write for a Broad Audience

54:38 • 2min