12084 search results - page 121 / 2417 » Effect Systems with Subtyping |
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
UM
2010
Springer
13 years 7 months ago
2010
Springer
Effective pedagogical strategies are important for e-learning environments. While it is assumed that an effective learning environment should craft and adapt its actions to the use...
MOBIHOC
2001
ACM
14 years 8 months ago
2001
ACM
This paper presents 7DS, a novel peer-to-peer data sharing system. 7DS is an architecture, a set of protocols and an implementation enabling the exchange of data among peers that ...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
We investigate genre effects on the task of automatic sentence segmentation, focusing on two important domains – broadcast news (BN) and broadcast conversation (BC). We employ a...
IEEEARES
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...