• OCaml

  • Referenced in 255 articles [sw06363]
  • sound, polymorphic type system featuring type inference. The OCaml system is an industrial-strength implementation...
  • Julia

  • Referenced in 111 articles [sw13986]
  • expressive programming model and successful type inference, leading to good performance for a wide range...
  • spatstat

  • Referenced in 104 articles [sw04429]
  • spatial sampling, model diagnostics, and formal inference. Data types include point patterns, line segment patterns ... simulated automatically. Also provides facilities for formal inference (such as chi-squared tests) and model...
  • Scala

  • Referenced in 64 articles [sw07180]
  • power of static typing and automatic type inference. In addition, the book shows...
  • CDuce

  • Referenced in 47 articles [sw12434]
  • pairs, records, intersections, unions, differences), precise type inference for patterns and error localization...
  • Freshml

  • Referenced in 44 articles [sw08992]
  • FreshML used a complicated static type system inferring information about the ’freshness’ of names ... perhaps surprisingly) that a standard type system without freshness inference, coupled with a conventional treatment...
  • CCured

  • Referenced in 24 articles [sw10057]
  • propose a scheme that combines type inference and run-time checking to make existing ... then we present a surprisingly simple type inference algorithm that is able to infer ... infer that most or all of the pointers are statically verifiable to be type safe...
  • DENFIS

  • Referenced in 51 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...
  • DrScheme

  • Referenced in 27 articles [sw01265]
  • Finally, the static debugger provides a type inference system that explains specific inferences in terms...
  • ETPS

  • Referenced in 145 articles [sw06302]
  • theorem-prover for first-order logic and type theory. The latter is a cut-down ... ETPS issues commands to apply rules of inference in specified ways, and the computer handles ... formulas from them. The rules of inference and predefined problems in ETPS are mostly taken ... Andrews, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Second Edition...
  • Polyp

  • Referenced in 29 articles [sw09131]
  • checks definitions of polytypic functions, and infers the types of all other expressions using...
  • Mtac

  • Referenced in 13 articles [sw13075]
  • that it executes monadic tactics during type inference...
  • Eff

  • Referenced in 11 articles [sw22721]
  • typed language with parametric polymorphism and type inference. The types are similar to those...
  • HOL Zero

  • Referenced in 10 articles [sw17594]
  • explanation of how Hindley-Milner type inference is adapted to cater for variable-variable overloading ... terms are minimally annotated with types for unambiguous printing...
  • Oz

  • Referenced in 111 articles [sw06799]
  • high-level programming language combining constraint inference with concurrency. Typical application areas of Oz include ... sophisticated graphical user interfaces. Oz is dynamically typed and has first-class procedures, classes, objects ... powerful primitives for programming constraint inference engines at a high level...
  • Flow Caml

  • Referenced in 6 articles [sw08923]
  • convey. Because it has full type inference, the system verifies, without requiring source code annotations ... programming language equipped with a type system that features ... simultaneously subtyping, ML polymorphism and full type inference. Flow Caml handles a large part...
  • PHYLIP

  • Referenced in 69 articles [sw07694]
  • free package of programs for inferring phylogenies. It is distributed as source code, documentation files ... number of different types of executables. These Web pages, by Joe Felsenstein of the Department...
  • PolyAML

  • Referenced in 4 articles [sw08950]
  • PolyAML also comes equipped with a type inference algorithm that conservatively extends Hindley-Milner type ... inference. To support first-class polymorphic point-cut designators, a crucial feature for developing aspect ... algorithm blends the conventional Hindley-Milner type inference algorithm with a simple form of local...
  • IMPS

  • Referenced in 44 articles [sw09143]
  • simple type theory with partial functions and subtypes. Mathematical specification and inference are performed relative...
  • haggies

  • Referenced in 5 articles [sw12493]
  • purpose computer algebra program. Built-in type inference that allows to deal with non-standard...