632 search results - page 22 / 127 » Explicit Substitutions and Programming Languages |
127
click to vote
DALT
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
SOCO
2005
Springer
15 years 5 months ago
2005
Springer
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
163
click to vote
SCP
2011
14 years 6 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
103
click to vote
SAC
2011
ACM
14 years 2 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...