• SIGNAL

  • Referenced in 51 articles [sw02915]
  • introduce a module system for SIGNAL. Just as data-types describe the invariants of program ... processes to their enviroument. In conventional languages, typing is the medium allowing the separate compilation ... processes and for assembling them in complex systems. Following this principle, we present the first ... design and implementation of a polymorphic type system and of a module system...
  • CDuce

  • Referenced in 49 articles [sw12434]
  • functions, overloaded functions, a very rich type system (arrows, sequences, pairs, records, intersections, unions, differences...
  • MiniML

  • Referenced in 46 articles [sw29625]
  • staged computation. We show that a type system based on the intuitionistic modal logic ... analyzing computation stages in the context of typed λ-calculi and functional languages. We directly...
  • K Prover

  • Referenced in 41 articles [sw32257]
  • programming languages, calculi, as well as type systems or formal analysis tools can be defined...
  • Mathemagix

  • Referenced in 39 articles [sw00553]
  • interpreted, and it features a strong type system with classes and categories. Several C++ libraries...
  • Epigram

  • Referenced in 22 articles [sw09687]
  • False. However, as far as the type system is concerned, the type of the then ... superstructure for programs, and our familiar type systems ensure that these operations are used compatibly ... choice—at that point our familiar type systems fall silent. They simply can’t talk ... time, we thought our programming was strongly typed, when it was just our software engineering...
  • PIPER

  • Referenced in 28 articles [sw11478]
  • using source level type information provided by the programmer. Our system includes two novel components ... this end: (1) a behavioral type-and-effect system for the π-calculus, which extracts ... both the subtyping relation in the type system and the abstraction relation for compositional model ... ideas in a tool – PIPER. PIPER exploits type signatures provided by the programmer to partition...
  • PROGRES

  • Referenced in 70 articles [sw02905]
  • supports programming with graph rewriting systems. An integrated type-checker is able to check...
  • CCured

  • Referenced in 24 articles [sw10057]
  • type safe. We describe the CCured type system, which extends that of C by separating ... types according to their usage. This type system allows both pointers whose usage ... then we present a surprisingly simple type inference algorithm that is able to infer ... existing C programs.Our experience with the CCured system shows that the inference is very effective...
  • Featherweight Java

  • Referenced in 89 articles [sw16204]
  • give a detailed proof of type safety. The extended system formalizes for the first time...
  • GF

  • Referenced in 32 articles [sw13667]
  • formal languages. Grammatical objects have a type system, which helps to eliminate run-time errors ... uses dependent types in abstract syntax to express semantic conditions, such as well-typedness ... They can also be used in authoring systems, where syntax trees are constructed...
  • CHEVIE

  • Referenced in 222 articles [sw04235]
  • generic character tables of groups of Lie type, Coxeter groups, Iwahori-Hecke algebras and other ... based on the computer algebra systems GAP, and MAPLE. Computer algebra system...
  • MOD-DIST

  • Referenced in 236 articles [sw07504]
  • design of reliable facility location systems -- A full range of exercises to equip readers with ... understanding of the basic facility location model types...
  • MENU-OKF

  • Referenced in 236 articles [sw07505]
  • design of reliable facility location systems -- A full range of exercises to equip readers with ... understanding of the basic facility location model types...
  • Creol

  • Referenced in 25 articles [sw09421]
  • Creol: A type-safe object-oriented model for distributed concurrent systems. Object-oriented distributed computing ... adapt to network instability. Object variables are typed by interfaces, so communication with remote objects ... Creol syntax, operational semantics, and type system. It is shown that runtime type errors...
  • DENFIS

  • Referenced in 58 articles [sw24183]
  • This paper introduces a new type of fuzzy inference systems, denoted as dynamic evolving neural ... DENFIS is calculated through a fuzzy inference system based on m-most activated fuzzy rules ... creation of a first-order Takagi-Sugeno-type fuzzy rule set for a DENFIS online...
  • SITATION

  • Referenced in 228 articles [sw07503]
  • design of reliable facility location systems -- A full range of exercises to equip readers with ... understanding of the basic facility location model types...
  • GAUSSIAN

  • Referenced in 174 articles [sw06118]
  • molecular systems, along with numerous molecular properties derived from these basic computation types...
  • ROMS

  • Referenced in 26 articles [sw30140]
  • range of space/time scales and marine system types. As an example, we briefly review...