4757 search results - page 169 / 952 » Monads for Functional Programming |
159
click to vote
CSL
2005
Springer
15 years 12 months ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
182
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
183
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Forecasting exchange rates is an important financial problem that is receiving increasing attention especially because of its difficulty and practical applications. This paper prop...
189
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
We investigate a new approach for solving boundary control problems for dynamical systems that are governed by transport equations, when the control function is restricted to binar...
141
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
In this paper, we analyze two general-purpose encoding types, trees and graphs systematically, focusing on trends over increasingly complex problems. Tree and graph encodings are ...