Shared collection
Software · L5 · Programming Language Semantics
Graduate-level PL semantics: small-step and big-step operational semantics, denotational semantics, and type soundness via Progress and Preservation.
We use privacy-friendly product analytics (no session recording, PII masked) to improve OpenStem. Load analytics? Privacy Policy