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