972 search results - page 14 / 195 » Intersection types and computational effects |
154
click to vote
PPDP
2004
Springer
15 years 8 months ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
119
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
108
click to vote
CHI
2008
ACM
15 years 5 months ago
2008
ACM
We present a novel system for notification management and report results from two studies testing its performance and impact. The system uses statistical models to realize defer-t...
122
click to vote
PEPM
2000
ACM
15 years 6 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
131
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—This paper presents a model of collaborative decision-making for groups that involve people and computer agents. The model distinguishes between actions relating to participants...