• 1ML

  • Referenced in 3 articles [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...
  • MixML

  • Referenced in 5 articles [sw22612]
  • extensions: higher-order modules, and modules as first-class values. We also present a sound...
  • AXIOM

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

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

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

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

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

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

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

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

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