3116 search results - page 3 / 624 » Positively dependent types |
RTA
2004
Springer
13 years 11 months ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
JFP
2007
13 years 6 months ago
2007
We present an approach to enriching the type system of ML with a restricted form of de
INTERACT
2003
13 years 7 months ago
2003
With dwell time activation, completely hands free interaction may be achieved by tracking the user’s gaze positions. The first study presented compares typing by mouse click with...
ICDE
2007
IEEE
14 years 7 months ago
2007
IEEE
In location-based services, it is common for a user to issue a query based on his/her current position. One such example is "find the available cabs within two miles of my cu...
DNA
2005
Springer
13 years 12 months ago
2005
Springer
Abstract Self-assembly is a ubiquitous process in which small objects selforganize into larger and complex structures. In 2000, Rothemund and Winfree proposed a Tile Assembly Model...