11739 search results - page 2150 / 2348 » Slideshow: functional presentations |
147
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
We present a study of the effects of instant messaging (IM) on individuals' management of work across multiple collaborative projects. Groups of four participants completed f...
168
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
A new software tool for user-interface development and assessment of ubiquitous computing applications is available for CHI researchers. The software permits researchers to use co...
266
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
295
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
303
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...