Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,268,536 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
2006
Highly Cited
2006
Effect of natural production in a zero exchange suspended microbial floc based super-intensive culture system for white shrimp Litopenaeus vannamei
Wilson Wasielesky
,
H. L. Atwood
,
A. Stokes
,
C. Browdy
2006
Corpus ID: 55964147
Highly Cited
2004
Highly Cited
2004
A Decade of QTL Mapping for Cyst Nematode Resistance in Soybean
V. Concibido
,
B. Diers
,
P. Arelli
2004
Corpus ID: 12437364
Soybean cyst nematode (SCN) (Heterodera glycines Ichinohe), the most destructive pest of soybean [Glycine max (L.) Merrill], is…
Expand
Highly Cited
2003
Highly Cited
2003
A type and effect system for atomicity
C. Flanagan
,
S. Qadeer
ACM-SIGPLAN Symposium on Programming Language…
2003
Corpus ID: 416117
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic…
Expand
Highly Cited
1999
Highly Cited
1999
Handbook of Computer Vision and Applications: Volume 1: From Scenes to Images
B. Jähne
,
P. Geißler
,
H. Haussecker
1999
Corpus ID: 129449587
Contents of Volume One: Preface. Contributors. B. Jahne, Introduction. Illumination and Image Formation. H. Hausecker, Radiation…
Expand
Highly Cited
1997
Highly Cited
1997
ECOOP'97 — Object-Oriented Programming
M. Aksit
,
S. Matsuoka
Lecture Notes in Computer Science
1997
Corpus ID: 1363852
This volume constitutes the proceedings of the eleventh European Conference on Object-Oriented Programming, ECOOP '97, held in…
Expand
Review
1996
Review
1996
TURKIC-TYPE OROGENY AND ITS ROLE IN THE MAKING OF THE CONTINENTAL CRUST
A. Şengör
,
B. Natal’in
1996
Corpus ID: 129678600
▪ Abstract Turkic-type orogeny is a class of collisional mountain building, in which the precollision history of one, or both, of…
Expand
Highly Cited
1992
Highly Cited
1992
The design and implementation of hierarchical software systems with reusable components
D. Batory
,
S. O'Malley
TSEM
1992
Corpus ID: 11871208
We present a domain-independent model of hierarchical software system design and construction that is based on interchangeable…
Expand
Review
1990
Review
1990
Concepts and paradigms of object-oriented programming
P. Wegner
OOPS
1990
Corpus ID: 13362310
We address the following questions for object-oriented programming:What is it?What are its goals?What are its origins?What are…
Expand
Review
1985
Review
1985
Programming expert systems in OPS5
L. Brownston
,
Robert G. Farrell
,
E. Kant
,
Nancy L. Martin
1985
Corpus ID: 57073707
Highly Cited
1980
Highly Cited
1980
HOPE: An experimental applicative language
R. Burstall
,
David B. MacQueen
,
D. Sannella
LISP Conference
1980
Corpus ID: 207681779
An applicative language called HOPE is described and discussed. The underlying goal of the design and implementation effort was…
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