Intro to Type Systems and Operational Semantics - Andres Löh | ZuriHac 2022
An introduction to type systems
Type Systems - Part 1
Lecture "Operational Semantics (Part 1, Preliminaries)" of "Program Analysis"
type Systems - Part 2
Basic Mechanics of Operational Semantics
DPL CH1 - Type Systems
1 - Semantics vs Pragmatics vs Syntax - Introduction to Semantics
CS6225 Programs and Proofs 23 Operational Semantics
Type Systems - Part 3
Module 6 - Type Systems and Module 7 - Denotational Semantics
DPL Week 2 - 03 Operational Semantics
The Semantic Phase and Type Systems
Lecture 4: Transition Systems and Introduction to Big Step Semantics
Type Systems - Part 4
Chlipala9 (operational semantics)
CS 152: Programming Languages - Spring 2019: Section 1 - Induction, Small & Large-step semantics
Nikolai Kudasov: Formal Semantics for Programming Languages
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols
