16 --- Gradual Types

7.7.0.3

Friday, 28 February 2020

Presenters (1) James Herbstritt & Michael Goodnow

	1 — Programming Languages: Research and Teaching
	2 — Parsing
	3 — Scope, Compilation
	4 — Compilers; Fun
	5 — Help!
	6 — Recursive Functions
	7 — Errors and Ordering
	8 — Assignments
	9 — Store Passing
	10 — What and When
	11 — Types & Proofs
	12 — The Truth
	13 — Poly Types
	14 — More Types
	15 — JULIA Types
	16 — Gradual Types
	17 — CPS
	18 — ONLINE
	19 — CANCELLED
	20 — Control from CPS
	21 — State Machines
	22 — C, CC, CK
	23 — CEK, CESK
	24 — Memory, Safety
	25 — Space
	26 — Q & A
	27 — Expressiveness
	28 — Monads
	29 — Continuations