Skip to search formSkip to main contentSkip to account menu

Typing environment

Known as: Environment (type theory) 
In type theory a typing environment (or variable assignment) represents the association between variables names and data types.More formally an… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations

Broader (2)

Program analysisType theory
Programming languageSimply typed lambda calculusType inhabitationType rule

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Deductive Parsing with an Unbounded Type Lexicon
We present a novel deductive parsing framework for categorial type logics, mo-deled as the composition of two components. The… 
2017
2017
A Fatigue Prediction Cognitive Model for Naturalistic Typing Environment
Workplace safety has been gaining a growing attention in industry and insurance companies. Mental fatigue represents the main… 
2016
2016
A View Extension to an Object-Oriented Type System
Many languages provide support for describing composite and other user-defined types which in turn depend upon built-in types. A… 
2016
2016
Keystroke Biometric Recognition on Chinese Long Text Input
Keystroke Biometric is useful in distinguishing legal users from perpetrators in online activities. Most previous keystroke… 
2009
2009
Weakest Precondition Semantics for OO Programs : A Separation Logic Approach
For the object oriented paradigm, providing a relatively rich model language equipped with formal semantics for practical… 
2006
2006
Type Safety for FJ and FGJ
Mainly concerned with type safety, Featherweight Java, or FJ, is a well known minimal core for Java and Generic Java. However, in… 
2006
2006
Types for Nominal Rewriting ?
We define a type inference system for Nominal Rewriting where the types associated to terms are polymorphic (built from a set of… 
2000
2000
Participatory Design and Communication in Virtual Environments
There are numerous approaches and techniques for establishing a virtual environment for participatory design. The most common… 
1998
1998
Analysis of the XC6000 architecture for embedded system design
Novel FPGA architectures combined with new implementation methods influence the widespread area of embedded system design… 
1995
1995
Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment
Prototyping based on formal specification should satisfy the requirements of engineers and users equally. The support of both… 
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)