2740 search results - page 37 / 548 » Typing the Specialization Interface |
103
click to vote
CHI
2000
ACM
15 years 6 months ago
2000
ACM
We discuss a novel type of interface, the intelligent gazeadded interface, and describe the design and evaluation of a sample gaze-added operating-system interface. Gaze-added int...
200
click to vote
Book
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
110
click to vote
FORTE
2007
15 years 3 months ago
2007
We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., se...
102
click to vote
JFP
2006
15 years 1 months ago
2006
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to mo...
100
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...