18429 search results - page 407 / 3686 » Typing dynamic typing |
199
click to vote
COORDINATION
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
177
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Our prior work [1] presented a decentralized algorithm for coordinating the construction of a truss structure out of multiple components. In this paper, we discuss adaptation i...
176
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
173
click to vote
ENGL
2008
15 years 7 months ago
2008
Electronic information display systems are widely used in public places. The increase in use of light-emitting diodes (LED) display arouses our interest in the effective methods of...
188
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...