Plait Variable 4 - encoding boxes

(5:42)

Plait Variable 1 - assignment

(3:28)

Plait Variable 3 - interp

(3:31)

Plait Variable 2 - store

(3:48)

Plait Variable 5 - call by reference

(4:17)

Plait Inference 6 - representing type variables

(1:28)

Plait Tutorial 10 - testing

(4:3)

Plait Polymorphism 7 - type identifiers in Plait

(6:13)

Plait Binding 4 - deferring substitution

(3:35)

Plait Polymorphism 8 - polymorphic datatypes in Plait

(4:24)

Plait Function 6 - finish interp

(7:5)

Plait Tutorial 5 - conditionals

(2:18)

Plait Type 8 - typecheck

(6:48)

Plait Binding 6 - interp

(4:50)

Plait Compile 6 - allocation

(3:7)

Plait Store 2 - boxes 1

(3:44)

Plait Polymorphism 2 - examples

(5:36)

Plait Function 1 - representation

(6:54)

Plait Type 5 - functions

(5:7)

Plait Tutorial 7 - more definitions

(3:47)