8009 search results - page 1515 / 1602 » cans 2005 |
198
click to vote
TLDI
2005
ACM
16 years 1 hour 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, ...
137
click to vote
TLDI
2005
ACM
16 years 1 hour ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
167
click to vote
TLDI
2005
ACM
16 years 1 hour ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
139
click to vote
UIST
2005
ACM
16 years 1 hour ago
2005
ACM
On the desktop, an application can expect to control its user interface down to the last pixel, but on the World Wide Web, a content provider has no control over how the client wi...
160
click to vote
VEE
2005
ACM
16 years 1 hour ago
2005
ACM
Virtual Machine (VM) environments (e.g., VMware and Xen) are experiencing a resurgence of interest for diverse uses including server consolidation and shared hosting. An applicati...