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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

Lazy evaluation is a key feature of Haskell, but can make it difficult to reason about the efficiency of programs. Improvement…

2014

We present a data definition framework that enables the convenient specification of data types in ACL2s, the ACL2 Sedan. Our…

2012

2011

The implemented online urban noise pollution monitoring system is presented with regard to its conceptual assumptions and…

2009

Model transformations are a key element in Model Driven Engineering because they are the primary means for model manipulation…

2009

This paper proposes a minimally supervised method for acquiring high-level semantic relations such as causality and prevention…

1999

1998

A unique kind of noise appears in pulse density modulated (PDM) signals generated by 1-bit delta-sigma type A/D converters. We…

1997

Although the use of expansionary η-rewrite has become increasingly common in recent years, one area where ν-contractions have…

1993

A generic expression for the scattering wave function in terms of the full discrete spectral Green’s function on a finite range…