typed-languages
There are 0 repository under typed-languages topic.
rudynicolop / TAPL-Coq
Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages
Language:Coq 4
There are 0 repository under typed-languages topic.
rudynicolop / TAPL-CoqCoq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages