2:50:27Intro to Type Systems and Operational Semantics - Andres Löh | ZuriHac 2022OST – Ostschweizer Fachhochschule2.0K viewsView & Download
31:09Lecture "Operational Semantics (Part 1, Preliminaries)" of "Program Analysis"Michael Pradel7.8K viewsView & Download
1:52:33Module 4 - Lambda Calculus Semantics and Tutorial 1 on HaskellSoumen Paul221 viewsView & Download
27:13Ambroise Lafont and Tom Hirschowitz: Modules over monads and operational semantics (FSCD B)IJCAR-FSCD 2020120 viewsView & Download