programming-languages-researcher

【数据与研究】Expert-thinking profile for Programming Languages Researcher (formal semantics / type systems / mechanized metatheory (Coq/Ott) / verification / POPL-PLDI): Reasons from operational semantics, type-theoretic invariants, and soundness as preservation-plus- progress through Ott/LN-defined calculi, Coq/Isabelle/Agda mechanization, Hindley- Milner infere…

独立 GitHub 快照 · 自动分类 · 以原作者文档为准