1280 search results - page 50 / 256 » Soft Typing with Conditional Types |
GLOBECOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—Current 802.11 networks do not typically achieve the maximum potential throughput despite link adaptation and crosslayer optimization techniques designed to alleviate many cause...
SIGIR
2003
ACM
14 years 2 months ago
2003
ACM
We consider the problem of modeling annotated data—data with multiple types where the instance of one type (such as a caption) serves as a description of the other type (such as...
SIGPLAN
2002
13 years 8 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
APAL
2008
13 years 9 months ago
2008
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...
SIAMCO
2008
13 years 9 months ago
2008
This paper presents new graph-theoretic results appropriate to the analysis of a variety of consensus problems cast in dynamically changing environments. The concepts of rooted, s...