Graham Hutton

8.09K subscribers

32 videos

Hi there! I'm a Professor of Computer Science at the University of Nottingham. I enjoy making videos about functional programming - here you can find videos ...

Latest Videos

FP 17 - Course Wrap Up

FP 1 - Course Overview

AFP 15 - Compiler Correctness

AFP 14 - Making Append Vanish II Fast Flatten

AFP 13 - Making Append Vanish Fast Reverse

FP 16 - Lazy Evaluation

FP 15 - Exercises on Interaction

AFP 12 - Induction

AFP 11 - Reasoning About Programs

FP 14 - Interactive Programming

FP 13 - The Countdown Problem

AFP 10 - Monads IV Generics, Laws and Benefits

FP 12 - Declaring Types and Classes

FP 11 - How To Think Recursively

AFP 9 - Monads III State Revisited

AFP 8 - Monads II Maybe, List and State

FP 10 - Higher-Order Functions

FP 9 - Exercises On Recursion

AFP 7 - Monads I Basic Concepts

AFP 6 - Applicative Functors

FP 8 - Recursive Functions

FP 7 - List Comprehensions

AFP 5 - Functors

FP 6 - Defining Functions

FP 5 - Types and Classes

AFP 4 - Sudoku III Improving Performance

AFP 3 - Sudoku II Initial Solvers

FP 4 - First Steps

FP 3 - Introduction

AFP 2 - Sudoku I First Steps