课程、复现与笔记 · reproduction

stanford-cs242

基于斯坦福大学 CS242 公开材料的编程语言自学作业,涵盖 Lambda 演算、类型系统与语言实现。

ST
仓库appleweiping/stanford-cs242
状态active
Demo 证据none
最近更新2026-07-09

个人贡献

这项记录所呈现的工作

基于所列公开课程或资料的自学复现;上游教学材料的署名保留在仓库中。

技术与主题

PythonOCamlRustTeXJavaScriptF*WebAssemblyLeanMakefileHTMLShellAssemblyCcs242csdiylambda-calculusprogramming-languagesstanfordtype-systems

当前暂无公开 Demo。