Skip to search formSkip to main contentSkip to account menu

Dependent type

Known as: DTP, Dependently typed language, Dependently-typed 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

45 relations
ATSAgdaAldorCalculus of constructions

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2020
Highly Cited
2020
Observed-Mode-Dependent State Estimation of Hidden Semi-Markov Jump Linear Systems
This paper is concerned with state estimation for a class of hidden semi-Markov jump linear systems governed by a two-layer… 
Highly Cited
2012
Highly Cited
2012
On ${\cal H}_{\infty }$ Filtering for Discrete-Time Takagi–Sugeno Fuzzy Systems
In this paper, we present a new design method for the H∞ filtering of discrete-time Takagi-Sugeno (TS) fuzzy systems. The… 
Highly Cited
2010
Highly Cited
2010
ON TAIL INDEX ESTIMATION FOR DEPENDENT, HETEROGENEOUS DATA
In this paper we analyze the asymptotic properties of the popular distribution tail index estimator by Hill (1975) for dependent… 
Highly Cited
2009
Highly Cited
2009
System Maintenance Scheduling With Prognostics Information Using Genetic Algorithm
Condition based maintenance (CBM) aims to balance two extreme sides (i.e., corrective maintenance (CM), and preventive… 
2006
2006
What's So Special about Nanotechnology and Nanoethics?
Nanoethics is a contentious field for several reasons. Some believe it should not be recognized as a proper area of study… 
Highly Cited
2001
Highly Cited
2001
Temporal and spatial level of details for dynamic meshes
Multi-resolution techniques enhance the ability of graphics and visual systems to overcome limitations in time, space and… 
2001
2001
Typed Multiset Rewriting Specifications of Security Protocols
Highly Cited
1999
Highly Cited
1999
TALx86: A Realistic Typed Assembly Language∗
The goal of typed assembly language (TAL) is to provide a low-level, statically typed target language that is better suited than… 
Review
1996
Review
1996
On Hack's Law
Hack's law is reviewed, emphasizing its implications for the elongation of river basins as well as its connections with their… 
Review
1980
Review
1980
Local Microcode Compaction Techniques
Microcode compaction is an essential tool for the compilation of high-level language microprograms into microinstructions with… 
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)