917 search results - page 32 / 184 » On the Semantics of Updates in a Functional Language |
105
click to vote
ICTCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
110
click to vote
AFP
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global st...
108
click to vote
CHI
2005
ACM
16 years 5 days ago
2005
ACM
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
102
click to vote
EUROCAST
2001
Springer
15 years 4 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
107
click to vote
CLIMA
2010
15 years 1 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...