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

OCaml
 Referenced in 276 articles
[sw06363]
 sound, polymorphic type system featuring type inference. The OCaml system is an industrialstrength implementation...

spatstat
 Referenced in 143 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 chisquared tests) and model...

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

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

Freshml
 Referenced in 50 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 runtime 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 57 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 mmost activated fuzzy rules ... creation of a firstorder TakagiSugenotype fuzzy rule set for a DENFIS online...

ETPS
 Referenced in 161 articles
[sw06302]
 theoremprover for firstorder logic and type theory. The latter is a cutdown ... 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...

DrScheme
 Referenced in 29 articles
[sw01265]
 Finally, the static debugger provides a type inference system that explains speciﬁc inferences in terms...

Eff
 Referenced in 21 articles
[sw22721]
 typed language with parametric polymorphism and type inference. The types are similar to those...

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

pybind11
 Referenced in 19 articles
[sw28886]
 lightweight headeronly library that exposes C++ types in Python and vice versa, mainly ... code in traditional extension modules by inferring type information using compiletime introspection...

Mtac
 Referenced in 14 articles
[sw13075]
 that it executes monadic tactics during type inference...

PHYLIP
 Referenced in 103 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...

Koka
 Referenced in 11 articles
[sw19068]
 type signature. The type and effect of expressions can also be inferred ... automatically, and we describe a polymorphic type inference system based on HindleyMilner style inference ... example, if an expression can be typed without an exn effect, then it will never...

HOL Zero
 Referenced in 12 articles
[sw17594]
 explanation of how HindleyMilner type inference is adapted to cater for variablevariable overloading ... terms are minimally annotated with types for unambiguous printing...

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

PolyAML
 Referenced in 5 articles
[sw08950]
 PolyAML also comes equipped with a type inference algorithm that conservatively extends HindleyMilner type ... inference. To support firstclass polymorphic pointcut designators, a crucial feature for developing aspect ... algorithm blends the conventional HindleyMilner type inference algorithm with a simple form of local...

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...