663 search results - page 4 / 133 » Interactive Realizers and Monads |
UIST
2010
ACM
14 years 8 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
15 years 4 months ago
2009
Springer
SOFSEM
2007
Springer
15 years 4 months ago
2007
Springer
101
click to vote
CSL
2000
Springer
15 years 2 months 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
14 years 10 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...