meta-theory

There are 0 repository under meta-theory topic.

• namin / dot

  formalization of the Dependent Object Types (DOT) calculus

  meta-theorytwelfplt-redexcoqdafnyoop
  153

• abella-prover / abella

  An interactive theorem prover based on lambda-tree syntax

  lambda-calculusmeta-theoryinteractive-theorem-proving
  Language:OCaml 87

• namin / unsound

  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

  javascalaunsoundmeta-theoryoop
  Language:HTML 74

• namin / dafny-sandbox

  Dafny for Metatheory of Programming Languages

  dafnycoqmeta-theorybinders
  Language:Dafny 21

• Gradual-Typing / LambdaIFCStar

  The Agda mechanization of a gradual security-typed programming language with general mutable references.

  formalizationinformation-flowsemanticsgradual-typingagdameta-theorycoercionnoninterferencetype-systems
  Language:Agda 3