• OBJ3

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

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

  • Referenced in 5 articles [sw22612]
  • complete redesign of the ML module language: ML modules provide hierarchical namespace management, as well ... call MixML. A MixML module is like an ML structure in which some ... salient, semantically interesting features of the ML module system (and several proposed extensions...
  • 1ML

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

  • Referenced in 11 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...
  • Backpack

  • Referenced in 1 article [sw22068]
  • processed in dependency order. Module systems like that of ML, on the other hand, permit ... interfaces express assumptions about dependencies, and each module can be typechecked and reasoned about independently.par...
  • eRm

  • Referenced in 9 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...
  • Flow Caml

  • Referenced in 5 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...
  • Pilsner

  • Referenced in 2 articles [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 1348 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

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

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

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

  • Referenced in 4888 articles [sw00771]
  • R is a language and environment for statistical...
  • ML

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

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

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