8706 search results - page 385 / 1742 » Learning Subjective Language |
116
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...
102
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
We present a direct implementation of the shift and reset control operators in the Scheme 48 system. The new implementation improves upon the traditional technique of simulating s...
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
The coordination of layers in computer and software systems is one of the main challenges in designing such systems today. In this paper we consider Holistic System Design as a wa...
125
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
113
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
We present a programming technique for implementing type safe covariance in C++. In a sense, we implement most of Bruce’s matching approach to the covariance dilemma in C++. The...