课程、复现与笔记 · reproduction
cambridge-semantics
基于剑桥大学编程语言语义公开材料的自学练习，涉及小型语言的操作语义与机械化表述。
CA
仓库appleweiping/cambridge-semantics
状态active
Demo 证据none
最近更新2026-07-07
个人贡献
这项记录所呈现的工作
基于所列公开课程或资料的自学复现；上游教学材料的署名保留在仓库中。
技术与主题
当前暂无公开 Demo。
课程、复现与笔记 · reproduction
基于剑桥大学编程语言语义公开材料的自学练习，涉及小型语言的操作语义与机械化表述。
个人贡献
基于所列公开课程或资料的自学复现；上游教学材料的署名保留在仓库中。
技术与主题
当前暂无公开 Demo。