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
2007
Highly Cited
2007
Past research using the resource-based view of a firm suggests that it is important to consider how firms develop, manage, and… 
Highly Cited
1998
Highly Cited
1998
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
Scaling functions, ${F}_{+}(\ensuremath{\omega}/{\ensuremath{\omega}}_{c}^{+})$ and ${F}_{\ensuremath{-}}(\ensuremath{\omega… 
Highly Cited
1995
Highly Cited
1995
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
The present paper introduces the concept of adaptive automata as an alternative formal tool for describing context-dependent… 
Highly Cited
1993
Highly Cited
1993
Isis is a toolkit for building applications consisting of cooperating processes in a distributed system. Group management and… 
Highly Cited
1990
Highly Cited
1990
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 is an extension to Common Lisp that provides efficient support for object-oriented programming in the… 
Review
1982
Review
1982
ion and the Art of John Golding / Exhibitions The art of abstracting. User Review Not Available Book Verdict. In this revision of…