• VMlambda

  • Referenced in 1 article [sw17460]
  • standard simply typed call-by-value lambda-calculus. Although this extension, VMlambda, is simple ... makes extensive use of labeled arguments and polymorphic variants -- two advanced features of OCaml that...
  • Coq

  • Referenced in 1856 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 674 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • ML

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

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • BETA

  • Referenced in 29 articles [sw03114]
  • Synchronization abstraction in the BETA programming language. This...
  • Haskell

  • Referenced in 870 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • MWB

  • Referenced in 34 articles [sw04395]
  • The mobility workbench — A tool for the π...
  • Miranda

  • Referenced in 152 articles [sw04986]
  • Miranda: A non-strict functional language with polymorphic...
  • HOL

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

  • Referenced in 685 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • ETPS

  • Referenced in 158 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • OCaml

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

  • Referenced in 390 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • Twelf

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

  • Referenced in 157 articles [sw08360]
  • Edinburgh LCF. A mechanized logic of computation. From...
  • Pict

  • Referenced in 71 articles [sw08929]
  • Pict is a language in the ML tradition...