3116 search results - page 20 / 624 » Positively dependent types |
85
Voted
LFP
1990
14 years 10 months ago
1990
FOIS
2010
14 years 10 months ago
2010
82
Voted
JFP
2000
14 years 9 months ago
2000
81
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
104
click to vote
SGAI
2005
Springer
15 years 3 months ago
2005
Springer
Objects of interest are represented in the brain simultaneously in different frames of reference. Knowing the positions of one’s head and eyes, for example, one can compute the...