1194 search results - page 64 / 239 » A Calculus for Predicative Programming |
108
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
103
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
100
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we present Mob, a service-oriented scripting language for programming mobile agents in distributed systems. The main feature of the language is the integration of th...
124
click to vote
ENTCS
2002
15 years 1 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
102
click to vote
JLP
2002
15 years 1 months ago
2002
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...