Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,942,329 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Broader (2)
Program analysis
Type theory
Programming language
Simply typed lambda calculus
Type inhabitation
Type rule
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Deductive Parsing with an Unbounded Type Lexicon
Konstantinos Kogkalidis
,
M. Moortgat
,
R. Moot
,
Georgios Tziafas
2019
Corpus ID: 211238864
We present a novel deductive parsing framework for categorial type logics, mo-deled as the composition of two components. The…
Expand
2019
2019
Density Matrices for Derivational Ambiguity
A. D. Correia
,
M. Moortgat
,
H. Stoof
arXiv.org
2019
Corpus ID: 201103947
Recent work on vector-based compositional natural language semantics has proposed the use of density matrices to model lexical…
Expand
2019
2019
Teaching ESL through SMS: Prospects and Problems in Nigeria Idegbekwe, Destiny
Destiny Idegbekwe
English Linguistics Research
2019
Corpus ID: 86493348
There is a growing call for English as a second language teachers to explore different learning environments and teaching options…
Expand
2016
2016
A View Extension to an Object-Oriented Type System
M. Naeem
,
C. Harrison
2016
Corpus ID: 61457025
Many languages provide support for describing composite and other user-defined types which in turn depend upon built-in types. A…
Expand
2009
2009
Weakest Precondition Semantics for OO Programs : A Separation Logic Approach
Yijing Liu
,
Quan Long
,
Zongyan Qiu
2009
Corpus ID: 16667731
For the object oriented paradigm, providing a relatively rich model language equipped with formal semantics for practical…
Expand
Review
2007
Review
2007
A Tool for Supporting Protocol Analysis
P. Sarkar
,
Amaresh Chakrabarti
2007
Corpus ID: 58926335
Protocol analysis is extensively used for detailed empirical studies of design processes, both for understanding designing ‘as is…
Expand
2006
2006
Types for Nominal Rewriting ?
M. Fernández
,
M. Gabbay
2006
Corpus ID: 17377017
We define a type inference system for Nominal Rewriting where the types associated to terms are polymorphic (built from a set of…
Expand
1998
1998
Analysis of the XC6000 architecture for embedded system design
Karlheinz Weiß
,
Ronny Kistner
,
A. Kunzmann
,
W. Rosenstiel
Proceedings. IEEE Symposium on FPGAs for Custom…
1998
Corpus ID: 457503
Novel FPGA architectures combined with new implementation methods influence the widespread area of embedded system design…
Expand
1998
1998
Analysis of the XC 6000 Architecture for Embedded System Design
Karlheinz Weiß
,
Ronny Kistner
,
A. Kunzmann
,
W. Rosenstiel
1998
Corpus ID: 15232584
Novel FPGA architectures combined with new implementation methods influence the widespread area of embedded system design…
Expand