Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,858,950 papers from all fields of science
Search
Sign In
Create Free Account
Dependent type
Known as:
DTP
, Dependently typed language
, Dependently-typed
Expand
In computer science and logic, a dependent type is a type whose definition depends on a value. A "pair of integers" is a type. A "pair of integers…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
45 relations
ATS
Agda
Aldor
Calculus of constructions
Expand
Broader (1)
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Data Definitions in the ACL 2 Sedan Harsh
H. R. Chamarthi
,
P. Dillinger
,
P. Manolios
2014
Corpus ID: 26157404
We present a data definition framework that enables the convenient specification of data types in ACL2s, the ACL2 Sedan. Our…
Expand
2012
2012
Neuroscience - Dealing With Frontiers
C. M. Contreras
2012
Corpus ID: 147823372
2011
2011
Creating Acoustic Maps Employing Supercomputing Cluster
A. Czyżewski
,
J. Kotus
,
M. Szczodrak
2011
Corpus ID: 55118098
The implemented online urban noise pollution monitoring system is presented with regard to its conceptual assumptions and…
Expand
2009
2009
Measuring ATL Transformations∗
Andrés Vignaga
2009
Corpus ID: 17927170
Model transformations are a key element in Model Driven Engineering because they are the primary means for model manipulation…
Expand
2009
2009
Large Scale Relation Acquisition Using Class Dependent Patterns
Stijn De Saeger
,
Kentaro Torisawa
,
Jun'ichi Kazama
,
Kow Kuroda
,
Masaki Murata
Ninth IEEE International Conference on Data…
2009
Corpus ID: 13786678
This paper proposes a minimally supervised method for acquiring high-level semantic relations such as causality and prevention…
Expand
2006
2006
View dependent fluid dynamics
Brian Arthur Barran
2006
Corpus ID: 125239324
2004
2004
A type-theoretic approach to anaphora and ellipsis resolution
C. Fox
,
Shalom Lappin
Recent Advances in Natural Language Processing
2004
Corpus ID: 5409185
We present an approach to anaphora and ellipsis resolution in which pronouns and elided structures are interpreted by the dynamic…
Expand
1998
1998
Code noise in delta-sigma modulators
C. Lindquist
Conference Record of Thirty-Second Asilomar…
1998
Corpus ID: 37049946
A unique kind of noise appears in pulse density modulated (PDM) signals generated by 1-bit delta-sigma type A/D converters. We…
Expand
1996
1996
A Machine Verified Distributed Sorting Algorithm
Jørgen H. Andersen
,
Edwin A. Harcourt
,
K. V. S. Prasad
1996
Corpus ID: 1166537
We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The…
Expand
1993
1993
Finite range scattering wave function method for scattering and resonance lifetimes
H. Jang
,
J. Light
1993
Corpus ID: 31512407
A generic expression for the scattering wave function in terms of the full discrete spectral Green’s function on a finite range…
Expand