663 search results - page 4 / 133 » Interactive Realizers and Monads |
UIST
2010
ACM
13 years 6 months ago
2010
ACM
Many digital painting systems have been proposed and their quality is improving. In these systems, graphics tablets are widely used as input devices. However, because of its rigid...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
SOFSEM
2007
Springer
14 years 2 months ago
2007
Springer
CSL
2000
Springer
14 years 26 days ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
SOCA
2008
IEEE
13 years 8 months ago
2008
IEEE
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...