• Nominal Isabelle

  • Referenced in 76 articles [sw12055]
  • General bindings and alpha-equivalence in Nominal Isabelle. Nominal Isabelle is a definitional extension...
  • HNT

  • Referenced in 2 articles [sw22614]
  • composed of an Haskell library providing: alpha-equivalence, matching and rewriting algorithms with freshness contexts...
  • Nominal2

  • Referenced in 1 article [sw36029]
  • declaring nominal datatypes (that is alpha-equivalence classes) and for defining functions over them...
  • Ott

  • Referenced in 31 articles [sw00663]
  • Semantic definitions of full-scale programming languages are...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • HOL

  • Referenced in 591 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • OCaml

  • Referenced in 273 articles [sw06363]
  • OCaml is the most popular variant of the...
  • Twelf

  • Referenced in 173 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • Freshml

  • Referenced in 50 articles [sw08992]
  • FreshML: programming with binders made simple. FreshML extends...
  • Unbound

  • Referenced in 4 articles [sw22613]
  • Binders unbound. mplementors of compilers, program refactorers, theorem...