228 search results - page 15 / 46 » An effective theory of type refinements |
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Interruptions are a central characteristic of work in critical environments such as hospitals, airlines, and security agencies. Often, interruptions occur as notifications of some...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
This two-day workshop will advance discussion on the role of public interfaces in engaging citizens within the urban context. The aim is to determine how technology can help to de...
UTP
2010
13 years 5 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
TLDI
2005
ACM
14 years 1 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
MANSCI
2006
13 years 7 months ago
2006
Second order stochastic dominance characterizes risk-averse preferences represented by expected utility. This paper supplies second order stochastic dominance conditions that char...