Operational Semantics: Adding Variables, Functions and Conditionals
Extend a simple arithmetic language with variables, functions, and conditionals. Learn about environments, closures, and lexical scoping in operational semantics.
Read more →#Lambda Calculus
2 posts tagged “Lambda Calculus”. All tags
A Beginner's Guide to Functional Programming with OCaml
Learn functional programming through OCaml, from lambda calculus foundations to practical programs. Covers immutability, pattern matching, recursion, and higher-order functions.
Read more →