4959 search results - page 161 / 992 » Imperative Functional Programming |
PLPV
2009
ACM
15 years 8 months ago
2009
ACM
Haskell’s multi-parameter type classes, together with functional dependencies, allow the specification of complex type-level opera
CADE
2006
Springer
15 years 11 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
107
click to vote
GECCO
1999
Springer
15 years 3 months ago
1999
Springer
This paper describes the innovative use of genetic programming (GP) to solve the grasp synthesis problem for multifingered robot hands. The goal of our algorithm is to select a Ò...
SIAMMAX
2010
14 years 6 months ago
2010
The main goal of this paper is to develop a numerical procedure for construction of covariance matrices such that for a given covariance structural model and a discrepancy function...
108
click to vote
ENTCS
2002
14 years 11 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...