770 search results - page 31 / 154 » Dinatural Terms in System F |
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
PPDP
2007
Springer
15 years 3 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
101
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
We present a way to add user's background knowledge to formal concept analysis. The type of background knowledge we deal with relates to relative importance of attributes in ...
112
click to vote
CSCW
2011
ACM
14 years 4 months ago
2011
ACM
This paper explores key issues people experience managing personal boundaries within and across social technologies. We look in particular at email and online social networks. We ...
SIGMOD
2011
ACM
14 years 18 days ago
2011
ACM
Ranking queries report the top-K results according to a user-deļ¬ned scoring function. A widely used scoring function is the weighted summation of multiple scores. Often times, u...