1835 search results - page 99 / 367 » Functional Programming of Behavior-Based Systems |
135
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper proposes the new robot programming environment in which robot motion programming environment and dynamics simulator are integrated. This allows robot motion programs...
132
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
131
click to vote
APLAS
2000
ACM
15 years 9 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
146
click to vote
POPL
1997
ACM
15 years 9 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
136
Voted
POPL
1993
ACM
15 years 8 months ago
1993
ACM
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...