Shared note

Software · L5 · Programming Language Semantics

Sign in to clone

Small-step vs big-step operational semantics, the basics of denotational semantics, and type soundness via the Progress and Preservation theorems.

by @openstemUpdated Software

We use privacy-friendly product analytics (no session recording, PII masked) to improve OpenStem. Load analytics? Privacy Policy