• OBJ3

  • Referenced in 98 articles [sw05370]
  • designs of the Ada, C++, and ML module systems...
  • SIGNAL

  • Referenced in 44 articles [sw02915]
  • ML-like module system for the synchronous language SIGNAL. Synchronous languages, such as SIGNAL...
  • ModuleML

  • Referenced in 1 article [sw16987]
  • secure compiler for ML modules. Many functional programming languages compile to low-level languages such ... light-weight version of an ML with modules, into untyped assembly. The compilation scheme...
  • 1ML

  • Referenced in 1 article [sw19983]
  • modules united (F-ing first-class modules). ML is two languages in one: there ... with types and expressions, and there are modules, with signatures, structures and functors. Modules form ... made a dynamic decision. Language extensions allowing modules to be packaged up as first-class ... propose a redesign of ML in which modules are truly first-class values, and core...
  • Locales

  • Referenced in 6 articles [sw12448]
  • flexible means of extension and reuse. Theory modules (which are called locales) may be extended ... users of Isabelle. The discussed mechanisms include ML-style functors, type classes and mixins...
  • Flow Caml

  • Referenced in 4 articles [sw08923]
  • type system that features simultaneously subtyping, ML polymorphism and full type inference. Flow Caml handles ... imperative features (mutable objects, exceptions, ...), and the module language. It can be used either...
  • SMLserver

  • Referenced in 1 article [sw15939]
  • Standard ML, which provides higher-order functions, static typing, and a rich module system. Through...
  • eRm

  • Referenced in 4 articles [sw06658]
  • data matrix. Additional features are the ML estimation of the person parameters, Andersen ... related plots, automated stepwise item elimination, simulation module for various binary data matrices...
  • Pilsner

  • Referenced in 1 article [sw20004]
  • optimizing compiler (programmed in Coq) from an ML-like source language S to an assembly ... hand-coded self-modifying T module, proven correct w.r.t. an S-level specification. The output...
  • Coq

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

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

  • Referenced in 1014 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Matlab

  • Referenced in 7110 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 3313 articles [sw00771]
  • R is a language and environment for statistical...
  • S-PLUS

  • Referenced in 375 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • SAS/IML

  • Referenced in 26 articles [sw03240]
  • The SAS® System provides a powerful and flexible...
  • PVS

  • Referenced in 483 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Haskell

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

  • Referenced in 292 articles [sw04594]
  • CVX is a modeling system for constructing and...