Results 1 to 17 of 17
Sort by:

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

  • Mathematica
  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...

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

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

  • CODA
  • Referenced in 359 articles [sw04290]
  • R package coda: Output analysis and diagnostics for...

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

  • JavaScript
  • Referenced in 166 articles [sw06868]
  • JavaScript is a scripting language for computers. It...

  • PrefLib
  • Referenced in 30 articles [sw07689]
  • PrefLib: a library for preferences. We introduce PrefLib...

  • Church
  • Referenced in 55 articles [sw08946]
  • Church: A language for generative models. We introduce...

  • Yampa
  • Referenced in 10 articles [sw13681]
  • Yampa is a domain-specific embedded language for...

  • XSB
  • Referenced in 144 articles [sw13877]
  • XSB is a Logic Programming and Deductive Database...

  • Koka
  • Referenced in 11 articles [sw19068]
  • Koka: programming with Row polymorphic Effect Types. We...

  • ALGOL 60
  • Referenced in 669 articles [sw21807]
  • ALGOL 60 (short for Algorithmic Language 1960) is...

  • Eff
  • Referenced in 21 articles [sw22721]
  • Eff is a functional programming language based on...

  • Links
  • Referenced in 23 articles [sw28847]
  • Links is a functional programming language designed to...

  • PRMLT
  • Referenced in 1221 articles [sw42125]
  • PRMLT: Pattern Recognition and Machine Learning Toolbox. This...