3116 search results - page 59 / 624 » Positively dependent types |
118
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
HAPTICS
2007
IEEE
15 years 6 months ago
2007
IEEE
Geometric (proxy-based) haptic rendering algorithms are widely used in impedance-type haptic rendering. Such methods are useful for developing complex virtual environment because ...
ISUVR
2007
15 years 1 months ago
2007
—This paper proposes a user interface, on see-through system environment which shows the images via two different cameras, that also ordinary user can control the computer system...
IEEEARES
2006
IEEE
15 years 5 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...