3713 search results - page 60 / 743 » Constructing a Calculus of Programs |
176
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
100
click to vote
FSTTCS
1999
Springer
15 years 2 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
ATAL
2006
Springer
15 years 1 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...
ENTCS
2002
14 years 9 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...