Sciweavers

2740 search results - page 519 / 548
» Typing the Specialization Interface
Sort
View
WWW
2005
ACM
14 years 9 months ago
Using XForms to simplify Web programming
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
Richard Cardone, Danny Soroker, Alpana Tiwari
ICFP
2009
ACM
14 years 9 months ago
Causal commutative arrows and their optimization
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
Hai Liu, Eric Cheng, Paul Hudak
PLDI
2009
ACM
14 years 9 months ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...
CHI
2009
ACM
14 years 9 months ago
PenLight: combining a mobile projector and a digital pen for dynamic visual overlay
Digital pen systems, originally designed to digitize annotations made on physical paper, are evolving to permit a wider variety of applications. Although the type and quality of p...
Hyunyoung Song, Tovi Grossman, George W. Fitzmauri...
CHI
2009
ACM
14 years 9 months ago
Supporting family engagement in weight management
Nathalie Colineau, CSIRO ? ICT Centre Locked Bag 17 North Ryde, NSW 1670 Australia nathalie.colineau@csiro.au C?cile Paris CSIRO ? ICT Centre Locked Bag 17 North Ryde, NSW 1670 Aus...
Cécile Paris, Dipak Bhandari, Nathalie Coli...