Programming Functional programming - Functional data structures - Algebraic Effects - Dependent Types - Agda - Idris - Continuations Concurrent Programming Mutex Semaphores Parallel Programming Unicode