Programming

​Functional programming​

• ​Functional data structures​

• ​Algebraic Effects​

• ​Dependent Types​

  • ​Agda​

  • ​Idris​

• ​Continuations​

​Concurrent Programming​

• ​Mutex​

• ​Semaphores​

​Parallel Programming​

​Unicode​