7555 search results - page 102 / 1511 » The Type System of DBPL |
149
Voted
ASYNC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
112
Voted
ISUVR
2007
15 years 4 months ago
2007
—This paper proposes a user interface, on see-through system environment which shows the images via two different cameras, that also ordinary user can control the computer system...
125
click to vote
ICFP
2000
ACM
15 years 7 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
103
Voted
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
128
Voted
CLIMA
2010
15 years 5 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...