7555 search results - page 102 / 1511 » The Type System of DBPL |
ASYNC
2001
IEEE
14 years 18 days 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...
ISUVR
2007
13 years 10 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...
ICFP
2000
ACM
14 years 1 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 ...
ESOP
2004
Springer
14 years 2 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...
CLIMA
2010
13 years 10 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...