
Python
 Referenced in 265 articles
[sw14460]
 procedural styles. It features a dynamic type system and automatic memory management...

LAPACK
 Referenced in 1222 articles
[sw00503]
 linear equations, leastsquares solutions of linear systems of equations, eigenvalue problems, and singular value ... various types of matrix multiplication and the solution of triangular systems with multiple righthand...

Maple
 Referenced in 3967 articles
[sw00545]
 breadth, depth, and performance to handle every type of mathematics. Maple’s intuitive interface supports ... graphics, images, sound, and diagrams. Computer algebra system...

Miranda
 Referenced in 140 articles
[sw04986]
 strict functional language with polymorphic types The last few years have seen much fruitful research ... SASL and KRC. To arrive at a system more suitable for tackling large problems Miranda ... this foundation (i) a polymorphic type system and (ii) a library structure with type secure ... with a discussion of the type system and in particular the facilities for userdefined types...

OCaml
 Referenced in 140 articles
[sw06363]
 connected by a sound, polymorphic type system featuring type inference. The OCaml system...

gmp
 Referenced in 164 articles
[sw00363]
 applications and research, Internet security applications, algebra systems, computational algebra research, etc. GMP is carefully ... using fullwords as the basic arithmetic type, by using fast algorithms, with highly optimised assembly ... main target platforms are Unixtype systems, such as GNU/Linux, Solaris...

LCF
 Referenced in 106 articles
[sw08360]
 short history. The original LCF system was a proofchecking program developed at Stanford University ... underlying it and the innovative polymorphic type system used both...

CGS
 Referenced in 273 articles
[sw08225]
 fast Lanczostype solver for nonsymmetric linear systems The presented method is a combination...

Pict
 Referenced in 63 articles
[sw08929]
 convenient syntactic sugar and a static type system to a tiny core. The current release ... selective communication, and concurrent objects. The type system integrates a number of features found...

KLAIM
 Referenced in 52 articles
[sw09424]
 implementations. KLAIM is equipped with a type system that statically checks access right violations ... relation to the various localities. The type system is used to determine the operations that...

Twelf
 Referenced in 97 articles
[sw06888]
 specify, implement, and prove properties of deductive systems such as programming languages and logics. Large ... research projects using Twelf include the TALT typed assembly language ... foundational proofcarryingcode system, and a type safety proof for Standard...

LEGO
 Referenced in 53 articles
[sw09685]
 LEGO is an interactive proof development system (proof assistant) designed and implemented by Randy Pollack ... Jersey ML. It implements various related type systems  the Edinburgh Logical Framework (LF), the Calculus ... Unified Theory of Dependent Types (UTT). LEGO is a powerful tool for interactive proof development ... refinement proof as a basic operation. The system design emphasizes removing the more tedious aspects...

Agda
 Referenced in 97 articles
[sw09689]
 characters, and an interactive Emacs interface (the type checker can assist in the development ... proof assistant: It is an interactive system for writing and checking proofs ... Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed ... with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. This...

SIGNAL
 Referenced in 44 articles
[sw02915]
 introduce a module system for SIGNAL. Just as datatypes 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 42 articles
[sw12434]
 functions, overloaded functions, a very rich type system (arrows, sequences, pairs, records, intersections, unions, differences...

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

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

CLEAN
 Referenced in 32 articles
[sw01346]
 version of Clean offers a hybrid type system with both static as well as dynamic...

CVX
 Referenced in 292 articles
[sw04594]
 modeling system for constructing and solving disciplined convex programs (DCPs). CVX supports a number ... standard problem types, including linear and quadratic programs (LPs/QPs), secondorder cone programs (SOCPs...

PROGRES
 Referenced in 63 articles
[sw02905]
 supports programming with graph rewriting systems. An integrated typechecker is able to check...