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 inference, an…

Independent GitHub snapshot · Automated classification · Original documentation governs