There are 0 repository under meta-theory topic.
formalization of the Dependent Object Types (DOT) calculus
An interactive theorem prover based on lambda-tree syntax
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
Dafny for Metatheory of Programming Languages
The Agda mechanization of a gradual security-typed programming language with general mutable references.