Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,754 papers from all fields of science
Search
Sign In
Create Free Account
Type system
Known as:
Type checking
, Dynamically typed
, Type-checker
Expand
In programming languages, a type system is a collection of rules that assign a property called type to various constructs a computer program consists…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Computing Surveys
ALGOL W
Abstract data type
Bounds checking
Expand
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
S. Pan
,
Gary S. C. Pan
,
Adela J. Chen
,
M. Hsieh
IEEE transactions on engineering management
2007
Corpus ID: 24816727
Past research using the resource-based view of a firm suggests that it is important to consider how firms develop, manage, and…
Expand
Highly Cited
2004
Highly Cited
2004
The Design of GridDB: A Data-Centric Overlay for the Scientific Grid
David T. Liu
,
M. Franklin
Very Large Data Bases Conference
2004
Corpus ID: 6325652
Highly Cited
1998
Highly Cited
1998
Scripting COM components in Haskell
S. Jones
,
E. Meijer
,
Daan Leijen
Proceedings. Fifth International Conference on…
1998
Corpus ID: 3303658
The expressiveness of higher-order typed languages such as Haskell or ML makes them an attractive medium in which to write…
Expand
Highly Cited
1998
Highly Cited
1998
ANALYTIC SCALING FUNCTIONS APPLICABLE TO DISPERSION MEASUREMENTS IN PERCOLATIVE METAL-INSULATOR SYSTEMS
D. McLachlan
,
W. Heiss
,
C. Chiteme
,
Junjie Wu
1998
Corpus ID: 18912172
Scaling functions, ${F}_{+}(\ensuremath{\omega}/{\ensuremath{\omega}}_{c}^{+})$ and ${F}_{\ensuremath{-}}(\ensuremath{\omega…
Expand
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
A. Frank
,
W. Kuhn
International Multi-Conference on Systems…
1995
Corpus ID: 14298570
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of…
Expand
Highly Cited
1994
Highly Cited
1994
Adaptive automata for context-dependent languages
J. J. Neto
SIGP
1994
Corpus ID: 3050752
The present paper introduces the concept of adaptive automata as an alternative formal tool for describing context-dependent…
Expand
Highly Cited
1993
Highly Cited
1993
Light-weight process groups in the Isis system
Bradford B. Glade
,
K. Birman
,
R. Cooper
,
R. V. Renesse
Distributed Syst. Eng.
1993
Corpus ID: 16853455
Isis is a toolkit for building applications consisting of cooperating processes in a distributed system. Group management and…
Expand
Highly Cited
1990
Highly Cited
1990
Characterization of carrier generation in enhancement-mode SOI MOSFET's
D. Ioannou
,
S. Cristoloveanu
,
M. Mukherjee
,
B. Mazhari
IEEE Electron Device Letters
1990
Corpus ID: 10110806
The carrier generation in enhancement-mode SOI MOSFETs is studied by applying a suitable bias step on one gate, which drives it…
Expand
Review
1986
Review
1986
CommonObjects: an overview
A. Snyder
OOPWORK '86
1986
Corpus ID: 3073895
CommonObjects is an extension to Common Lisp that provides efficient support for object-oriented programming in the…
Expand
Review
1982
Review
1982
The Art of Abstracting.
Edward T. Cremmins
1982
Corpus ID: 210499585
ion and the Art of John Golding / Exhibitions The art of abstracting. User Review Not Available Book Verdict. In this revision of…
Expand
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)
ACCEPT & CONTINUE
or Only Accept Required