23 search results - page 2 / 5 » Polymorphism by Name for References and Continuations |
164
click to vote
GLOBECOM
2007
IEEE
16 years 1 hour ago
2007
IEEE
—In hybrid Optical/packet networks, wavelength and VLAN tag continuity along a Label Switched Path are two common constraints. These two types of constraints, referred to as Gene...
160
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
165
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
158
click to vote
CCS
2009
ACM
16 years 14 days ago
2009
ACM
History indicates that the security community commonly takes a divide-and-conquer approach to battling malware threats: identify the essential and inalienable components of an att...
168
click to vote
CLEF
2010
Springer
15 years 6 months ago
2010
Springer
The third WePS (Web People Search) Evaluation campaign took place in 2009-2010 and attracted the participation of 13 research groups from Europe, Asia and North America. Given the ...