5377 search results - page 51 / 1076 » Programming Languages For Interactive Computing |
CHI
2008
ACM
14 years 9 months ago
2008
ACM
IFIP
2000
Springer
14 years 19 days ago
2000
Springer
ICFP
2000
ACM
14 years 1 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
This tutorial presents an overview of the data management issues faced by computer games today. While many games do not use databases directly, they still have to process large am...
IJHPCA
2007
13 years 9 months ago
2007
This paper presents a design and implementation of a system that leverages interactive scripting environment to the needs of scientific computing. The system allows seamless tran...