7 search results - page 2 / 2 » Second-order type isomorphisms through game semantics |
BCSHCI
2008
13 years 9 months ago
2008
In this paper, we describe the design and evaluation of SMART, an educational system that uses augmented reality for teaching 2nd grade-level concepts, adequate and integrated wit...
PPDP
2005
Springer
14 years 28 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...