Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,529,530 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.
2010
2010
Anomalous Conformational Instability and Hydrogel Formation of a Cationic Class of Self-Assembling Oligopeptides
T. Measey
,
R. Schweitzer‐Stenner
,
V. Sa
,
K. Kornev
2010
Corpus ID: 16737921
A detailed understanding of the mechanistic principles which govern peptide and protein self-assembly is of considerable…
Expand
2008
2008
Concept for intelligent distributed power system automation with IEC 61850 and IEC 61499
Neil Higgins
,
V. Vyatkin
,
N. Nair
,
K. Schwarz
IEEE International Conference on Systems, Man and…
2008
Corpus ID: 2796832
This paper presents new approach to power system automation, based on distributed intelligence rather than traditional…
Expand
2004
2004
Using Dynamic Aspect-Oriented Programming to Implement an Autonomic System
P. Greenwood
,
L. Blair
2004
Corpus ID: 15779784
As computational complexity of systems continues to increase, the amount of maintenance required to keep them operational will…
Expand
2004
2004
New e-learning services based on mobile and ubiquitous computing: Ubi-learn project
M. Laroussi
,
A. Derycke
2004
Corpus ID: 196042885
Ubiquitous and mobile learning concerns building applications in highly dynamic and heterogeneous environments to bring…
Expand
Review
1999
Review
1999
'Quis Custodiet Custodes?' Revisited: The Prosecution of Crime in the Late Mamluk Sultanate
C. Petry
1999
Corpus ID: 132054938
In 1956, Ann Lambton published her now-classic article in Studia Islamica, with its subtitle "Some Reflections on the Persian…
Expand
1997
1997
Increasing Java's expressiveness with ThisType and match-bounded polymorphism
Kim B. Bruce
1997
Corpus ID: 59662007
In this document we would like to propose some relatively minor additions to Java's syntax and semantics GJS96] in order to…
Expand
Highly Cited
1990
Highly Cited
1990
Analytical aspects of an automated capillary electrophoresis system
S. Moring
,
J. Colburn
,
P. D. Grossman
,
H. Lauer
1990
Corpus ID: 100021794
Les caracteristiques de performance d'une installation automatisee en electrophorese capillaire avec un controle de temperature…
Expand
1988
1988
The Development of Research Models for Automatic Excavation
D. Seward
,
D. Bradley
,
R. Bracewell
1988
Corpus ID: 67826300
Lancaster University has recently begun research into construction robotics and initial concentration is on excavation plant…
Expand
1984
1984
Selecting a microcomputer for process control and data acquisition
A. Arbel
,
A. Seidmann
1984
Corpus ID: 62768690
Abstract A selection methodology is presented for evaluating and selecting a microcomputer for implementing computerized process…
Expand
1975
1975
A simple molecular model of adsorption chromatography
E. Soczewiński
,
W. Gołkiewicz
,
W. Markowski
1975
Corpus ID: 99811728
SummaryThe relationship between the RM values of a number of aromatic nitro compounds and the composition of the solvent (moving…
Expand