Coursework, Reproductions & Notes · reproduction

stanford-cs242

Self-study assignments based on Stanford CS242, covering lambda calculus, type systems, and programming-language implementation.

ST
Repositoryappleweiping/stanford-cs242
Statusactive
Demo evidencenone
Last updated2026-07-09

Contribution

What this record demonstrates

Self-study reproduction based on the named public course or source material; upstream teaching materials remain attributed in the repository.

Technology and topics

PythonOCamlRustTeXJavaScriptF*WebAssemblyLeanMakefileHTMLShellAssemblyCcs242csdiylambda-calculusprogramming-languagesstanfordtype-systems

No public demo is currently available.