3116 search results - page 8 / 624 » Positively dependent types |
ICFP
2001
ACM
15 years 9 months ago
2001
ACM
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
CDC
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper deals with the pull-in control and the nanopositioning of an electrostatically actuated NEMS (Nano Electromechanical System) squeezed between two forces. It is shown tha...
CSL
2000
Springer
15 years 2 months ago
2000
Springer
We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent pro...
168
Voted
POPL
2004
ACM
15 years 10 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...