Skip to search formSkip to main contentSkip to account menu

Type system

Known as: Type checking, Dynamically typed, Type-checker 
In programming languages, a type system is a collection of rules that assign a property called type to various constructs a computer program consists… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ACM Computing SurveysALGOL WAbstract data typeBounds checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
The Dynamics of Implementing and Managing Modularity of Organizational Routines During Capability Development: Insights From a Process Model
Past research using the resource-based view of a firm suggests that it is important to consider how firms develop, manage, and… 
Highly Cited
2004
Highly Cited
2004
The Design of GridDB: A Data-Centric Overlay for the Scientific Grid
Highly Cited
1998
Highly Cited
1998
Scripting COM components in Haskell
The expressiveness of higher-order typed languages such as Haskell or ML makes them an attractive medium in which to write… 
Highly Cited
1998
Highly Cited
1998
ANALYTIC SCALING FUNCTIONS APPLICABLE TO DISPERSION MEASUREMENTS IN PERCOLATIVE METAL-INSULATOR SYSTEMS
Scaling functions, ${F}_{+}(\ensuremath{\omega}/{\ensuremath{\omega}}_{c}^{+})$ and ${F}_{\ensuremath{-}}(\ensuremath{\omega… 
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of… 
Highly Cited
1994
Highly Cited
1994
Adaptive automata for context-dependent languages
The present paper introduces the concept of adaptive automata as an alternative formal tool for describing context-dependent… 
Highly Cited
1993
Highly Cited
1993
Light-weight process groups in the Isis system
Isis is a toolkit for building applications consisting of cooperating processes in a distributed system. Group management and… 
Highly Cited
1990
Highly Cited
1990
Characterization of carrier generation in enhancement-mode SOI MOSFET's
The carrier generation in enhancement-mode SOI MOSFETs is studied by applying a suitable bias step on one gate, which drives it… 
Review
1986
Review
1986
CommonObjects: an overview
CommonObjects is an extension to Common Lisp that provides efficient support for object-oriented programming in the… 
Review
1982
Review
1982
The Art of Abstracting.
ion and the Art of John Golding / Exhibitions The art of abstracting. User Review Not Available Book Verdict. In this revision of… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)