7839 search results - page 1305 / 1568 » What's there and what's not |
144
click to vote
PLPV
2010
ACM
15 years 10 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
125
Voted
PEPM
2009
ACM
15 years 10 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
114
click to vote
IUI
2010
ACM
15 years 10 months ago
2010
ACM
People interact with interfaces to accomplish goals, and knowledge about human goals can be useful for building intelligent user interfaces. We suggest that modeling high, human-l...
106
Voted
IUI
2010
ACM
15 years 10 months ago
2010
ACM
The Web makes it possible for news readers to learn more about virtually any story that interests them. Media outlets and search engines typically augment their information with l...
118
click to vote
CSCW
2010
ACM
15 years 10 months ago
2010
ACM
People are often required to catch up on information they have missed in meetings, because of lateness or scheduling conflicts. Catching up is a complex cognitive process where pe...