3573 search results - page 620 / 715 » Reasoning about Codata |
140
click to vote
TLDI
2009
ACM
16 years 14 hour ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
144
click to vote
TLDI
2009
ACM
16 years 14 hour ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
156
click to vote
PLPV
2010
ACM
16 years 14 hour ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
139
click to vote
PLPV
2009
ACM
16 years 14 hour ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
142
click to vote
PEPM
2009
ACM
16 years 14 hour ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...