The Essence of C++: Zero-Overhead AbstractionHistory·Public Colloquium·Semantics, Pragmatics & Language Acquisition · Bjarne Stroustrup · University of EdinburghBjarne StroustrupUniversity of Edinburgh—1:39:10
Combining Small-Step and Big-Step Semantics to Verify Loop OptimizationsSystems & CS·Conference Talk·Linguistics, Philology & Historical Decipherment · David Knothe · FZI Research Center for Information TechnologyDavid KnotheFZFZI Research Center for Information Technology—26:08
Modern SQL — Window Functions, CTEs & Bag Semantics15-445 · Intro to Database Systems · Lec 3·Linguistics, Philology & Historical Decipherment · Andy Pavlo · Carnegie Mellon UniversityAndy PavloCarnegie Mellon University4 ch1:15:50
Iteration and Control Flow in PythonIntroduction to Computer Science and Programming using Python · Lec 15·Syntax, Phonology & Generative Linguistics · Ana Bell · MITAna BellMIT—46:42