• 1ML

  • Referenced in 1 article [sw19983]
  • core and modules united (F-ing first-class modules). ML is two languages ... expressions, and there are modules, with signatures, structures and functors. Modules form a separate, higher ... Language extensions allowing modules to be packaged up as first-class values have been proposed ... redesign of ML in which modules are truly first-class values, and core and module...
  • AXIOM

  • Referenced in 152 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Coq

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

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

  • Referenced in 1775 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • OCaml

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

  • Referenced in 63 articles [sw06518]
  • GNU Prolog is a free Prolog compiler with...
  • Hets

  • Referenced in 40 articles [sw07017]
  • Hets - the Heterogeneous Tool Set. Hets is a...
  • SICStus

  • Referenced in 49 articles [sw12440]
  • SICStus Prolog has evolved for nearly 25 years...