Ben Greenman - VideoAndMovie

Postdoc, programming languages, Brown University
https://cs.brown.edu/people/bgreenma

chessboard setup with Ellis

5:00

chessboard setup with Ellis

Polymorphism 9 — parameterization over functions and types

3:42

Polymorphism 9 — parameterization over functions and types

Polymorphism 8 — polymorphic datatypes in Shplait

3:19

Polymorphism 8 — polymorphic datatypes in Shplait

Polymorphism 7 — type identifiers in Shplait

5:40

Polymorphism 7 — type identifiers in Shplait

Polymorphism 6 — only non-polymorphic values

2:49

Polymorphism 6 — only non-polymorphic values

Polymorphism 5 — inference

3:53

Polymorphism 5 — inference

Polymorphism 4 — polymorphic datatypes

3:51

Polymorphism 4 — polymorphic datatypes

Polymorphism 3 — typecheck

1:30

Polymorphism 3 — typecheck

Polymorphism 2 — examples

3:10

Polymorphism 2 — examples

Polymorphism 1 — type parameterization

3:39

Polymorphism 1 — type parameterization

Typed Recursion 8 — soundness

4:09

Typed Recursion 8 — soundness

Typed Recursion 7 — typecheck

4:50

Typed Recursion 7 — typecheck

Typed Recursion 6 — typed match

1:23

Typed Recursion 6 — typed match

Typed Recursion 5 — typecheck examples

1:53

Typed Recursion 5 — typecheck examples

Typed Recursion 4 — interp

3:17

Typed Recursion 4 — interp

Typed Recursion 3 — interp examples

1:59

Typed Recursion 3 — interp examples

Typed Recursion 2 — variants

4:58

Typed Recursion 2 — variants

Typed Recursion 1 — letrec

3:15

Typed Recursion 1 — letrec

Subtyping 7 — mutable records

3:35

Subtyping 7 — mutable records

Subtyping 6 — terminology

0:56

Subtyping 6 — terminology

Subtyping 5 — function arguments

2:44

Subtyping 5 — function arguments

Subtyping 4 — function results

1:40

Subtyping 4 — function results

Subtyping 3 — record fields

1:44

Subtyping 3 — record fields

Subtyping 2 — subtypes

5:19

Subtyping 2 — subtypes

Subtyping 1 — records

4:03

Subtyping 1 — records

Class 6 — inherit interp

4:30

Class 6 — inherit interp

Class 5 — inheritance

2:09

Class 5 — inheritance

Class 4 — class interp

3:35

Class 4 — class interp

Class 3 — class examples

3:14

Class 3 — class examples

Class 2 — class language

2:32

Class 2 — class language