Skip to content
Nana Adjei Manu
Home About Blog Projects CV

Tag

Programming Languages

4 posts

  • Branded Types in TypeScript: From Structural to Nominal Typing , Jan 6, 2026
  • Operational Semantics: Adding Variables, Functions and Conditionals , Feb 14, 2025
  • Operational Semantics: A Formal Approach to Arithmetic Expressions , Feb 13, 2025
  • A Beginner's Guide to Functional Programming with OCaml , Jan 15, 2025

← All tags

© 2026 Nana Adjei Manu · n.k.a.manu06@gmail.com