3116 search results - page 20 / 624 » Positively dependent types |
LFP
1990
15 years 28 days ago
1990
FOIS
2010
15 years 26 days ago
2010
JFP
2000
14 years 11 months ago
2000
PLDI
2010
ACM
15 years 9 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...
115
click to vote
SGAI
2005
Springer
15 years 5 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...