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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2003
Highly Cited
2003
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic… 
Highly Cited
1999
Highly Cited
1999
  • A. Myers
  • ACM-SIGACT Symposium on Principles of Programming…
  • 1999
  • Corpus ID: 5683963
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within… 
Highly Cited
1996
Highly Cited
1996
Ensuring secure information flow within programs in the context of multiple sensitivity levels has been widely studied… 
Highly Cited
1996
Highly Cited
1996
From the Publisher: Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the… 
Highly Cited
1996
Highly Cited
1996
From the Publisher: Procedural languages are generally well understood. Their foundations have been cast in calculi that prove… 
Highly Cited
1991
Highly Cited
1991
  • E. Moggi
  • Information and Computation
  • 1991
  • Corpus ID: 12767331
Highly Cited
1987
Highly Cited
1987
A long-standing, near-universal, and erroneous practice of teaching syntax in a void exists, as if the communicative function of… 
Highly Cited
1985
Highly Cited
1985
  • H. Barendregt
  • Studies in Logic and the Foundations of…
  • 1985
  • Corpus ID: 58318238
Highly Cited
1977
Highly Cited
1977
  • P. CousotR. Cousot
  • ACM-SIGACT Symposium on Principles of Programming…
  • 1977
  • Corpus ID: 207614632
A program denotes computations in some universe of objects. Abstract interpretation of programs consists in using that denotation… 
Highly Cited
1974
Highly Cited
1974
7)(D) = B[w][71t]#D] and delta is a functor from Funct(C, C) into C. Even before defining the functors arrow and delta, it can be…