This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
: As mobile devices, such as PDAs, iPods, and mobile phones become more common, corporations are turning to mobile learning to improve employee performance. Today's m-learning...
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Haptic icons (brief tangible stimuli with associated meanings) are a new way to convey information, but are difficult to design in large quantities due to technological and percept...
In efforts to attract a wider audience, videogames are beginning to incorporate adaptive gameplay mechanics. Unlike the more traditional videogame, adaptive games can cater the ga...