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.
2014
2014
Natural Language Inference in Coq
In this paper we propose a way to deal with natural language inference (NLI) by implementing Modern Type Theoretical Semantics in… 
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… 
2009
2009
Large Scale Relation Acquisition Using Class Dependent Patterns
This paper proposes a minimally supervised method for acquiring high-level semantic relations such as causality and prevention… 
2008
2008
A Comprehensive Delay Model for CMOS CML Circuits
MOS-transistor-based current-mode logic (CML)-type (MCML) circuits in high-speed circuit applications often operate as low-swing… 
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… 
2005
2005
Detecting Politeness and frustration state of a child in a conversational computer game
In this study, we investigate politeness and frustration behavior of children during their spoken interaction with computer… 
2003
2003
Improving scalability of task allocation and scheduling in large distributed real-time systems using shared buffers
Scheduling precedence-constrained tasks in a distributed real-time system is an NP-hard problem. As a result, the task allocation… 
Highly Cited
2001
Highly Cited
2001
Electrochromic Properties of Laminate Devices Fabricated from Polyaniline, Poly(ethylenedioxythiophene), and Poly(N-methylpyrrole)
Electrochromic devices composed of laminated polymer layers, as the working electrode, and vanadium pentoxide, as the counter… 
Highly Cited
2001
Highly Cited
2001
L-type and T-type calcium channel blockade potentiate the analgesic effects of morphine and selective μ opioid agonist, but not to selective δ and κ agonist at the level of the spinal cord in mice
Highly Cited
1990
Highly Cited
1990
A Semi-Functional Implementation of a Higher-Order Logic Programming Language
In this chapter we develop an interpreter of a higher-order constraint logic programming language in Standard ML (SML). The logic… 
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)