Compilers And Interpreters Ocaml Programming Chapter 9 Video 1

Summary

In a small-step semantics, an expression repeatedly takes a single step of evaluation until it reaches a value Textbook: ... Implementing the type checker for a simple language: constants, variables, and binary operators Textbook: ... Implementing the parsing of integer constants in the calculator Defining a small-step substitution-model semantics for a core fragment of Defining the type system for a simple language Textbook: cs3110.github.io/textbook. The grammar of a language can be described in a notation known as "Backus-Naur Form" (BNF). The input to Menhir (or ... Implementing the addition operator in the calculator Implementing an environment-model big-step Defining the small-step semantics of `let` expressions, based on substitution Textbook: cs3110.github.io/textbook.