2036 search results - page 231 / 408 » A generic type-and-effect system |
202
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
184
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
172
Voted
ACNS
2008
Springer
16 years 1 months ago
2008
Springer
Regular cash systems provide both the anonymity of users and the transferability of coins. In this paper, we study the anonymity properties of transferable e-cash. We define two n...
186
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
Web-services are supported by a complex software infrastructure that must provide a robust service to the client applications. This practical experience report presents a practica...
136
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...