4757 search results - page 250 / 952 » Monads for Functional Programming |
140
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract The importance of providing integration architectures in every field of application is beyond controversy these days. Unfortunately, existing solutions are focusing mainly...
162
click to vote
IJCAI
1993
15 years 7 months ago
1993
SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suff...
202
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
211
click to vote
AAIP
2009
15 years 4 months ago
2009
Given an appropriate domain specific language (DSL), it is possible to describe the relationship between Haskell data types and many generic functions, typically type-class instan...
172
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...