2272 search results - page 84 / 455 » A Calculus for |
148
click to vote
CSL
2005
Springer
15 years 9 months ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
153
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
139
Voted
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
124
Voted
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
139
click to vote
COSIT
1999
Springer
15 years 8 months ago
1999
Springer
Spatial information is information bound to spatial entities such as regions. It is based on the spatial structure alone (the valley includes the field) or connects thematic predic...