Programming

• Functional programming

  • Functional data structures

  • Algebraic Effects

  • Dependent Types

    • Agda

    • Idris

  • Continuations

• Concurrent Programming

  • Mutex

  • Semaphores

• Parallel Programming

• Unicode