• Python

  • Referenced in 1205 articles [sw14460]
  • procedural styles. It features a dynamic type system and automatic memory management...
  • Smalltalk

  • Referenced in 177 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective programming language. Smalltalk was created...
  • LISP

  • Referenced in 126 articles [sw07201]
  • tree data structures, automatic storage management, dynamic typing, conditionals, higher-order functions, recursion...
  • Oz

  • Referenced in 113 articles [sw06799]
  • sophisticated graphical user interfaces. Oz is dynamically typed and has first-class procedures, classes, objects...
  • CLEAN

  • Referenced in 58 articles [sw01346]
  • with both static as well as dynamic typing. Expressions, which are dynamically typed, are called ... applications. Dynamics can be used to make plug-ins which will be type checked ... means of a parser) of data. With Dynamics one can store and retrieve not only ... quite large: it not only involves dynamic type checking but also dynamic type unification, dynamic...
  • Lua

  • Referenced in 39 articles [sw10207]
  • arrays and extensible semantics. Lua is dynamically typed, runs by interpreting bytecode for a register...
  • MapReduce

  • Referenced in 240 articles [sw00546]
  • dynamic research field. In this paper, we focus on a special type of data analysis...
  • JFlow

  • Referenced in 24 articles [sw20595]
  • information flow control, including objects, subclassing, dynamic type tests, access control, and exceptions. This paper...
  • DENFIS

  • Referenced in 56 articles [sw24183]
  • DENFIS: dynamic evolving neural-fuzzy inference system and its application for time-series prediction. This ... introduces a new type of fuzzy inference systems, denoted as dynamic evolving neural-fuzzy inference ... proposed: (1) dynamic creation of a first-order Takagi-Sugeno-type fuzzy rule...
  • Julia

  • Referenced in 218 articles [sw13986]
  • performance. This paper presents Julia, a new dynamic language for technical computing, designed for performance ... based on generic functions and a rich type system simultaneously enables an expressive programming model...
  • CakeML

  • Referenced in 43 articles [sw08799]
  • topics including lexing, parsing, type checking, incremental and dynamic compilation, garbage collection, arbitrary-precision arithmetic...
  • Featherweight Java

  • Referenced in 86 articles [sw16204]
  • rigorous arguments about key properties such as type safety. We carry this process a step ... dynamic typecasts with a semantics closely following Java’s. A proof of type safety...
  • LYAPACK

  • Referenced in 58 articles [sw12624]
  • implementations of numerically robust algorithms for many types of dense problems in control theory have ... problems related to large sparse or structured dynamical systems before 1990. In the last ... quite a number of approaches for several types of large control problems have been proposed...
  • MetaKlaim

  • Referenced in 5 articles [sw01810]
  • MetaKlaim: a type safe multi-stage language for global computing This paper describes the design ... assembly and linking of code fragments), dynamic checking of security policies at administrative boundaries ... components and to enforce security policies dynamically: types are metadata that are extracted from code ... used to express trustiness guarantees. The dynamic type checking ensures that the trustiness guarantees...
  • ALDOR

  • Referenced in 24 articles [sw01220]
  • Pervasive support for dependent types allows static checking of dynamic objects. What does this mean...
  • CWENO

  • Referenced in 24 articles [sw01051]
  • using the example of the dynamics of a Sedov-type explosion...
  • XPi

  • Referenced in 6 articles [sw09430]
  • typed process calculus for XML messaging. We present XPi, a core calculus for XML messaging ... code mobility, integration of static and dynamic typing. In XPi, a type system disciplines...
  • Pascal-SC

  • Referenced in 30 articles [sw30417]
  • abstract data types, overloading of procedures, functions, and operators, respectively, strings, dynamic arrays, modules ... also matrices and vectors with these component types. This book explains the details...
  • Scilab

  • Referenced in 165 articles [sw00834]
  • many ways to create and customize various types of plots and charts. Optimization: Algorithms ... data exchanges with external tools. Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical systems...