4719 search results - page 335 / 944 » Spreadsheet functional programming |
176
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
163
Voted
MICAI
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this paper we investigate the effectiveness of applying fuzzy controllers to create strong computer player programs in the domain of backgammon. Fuzzeval, our proposed...
141
click to vote
MPC
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
166
click to vote
TPHOL
2003
IEEE
16 years 17 hour ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
173
click to vote
POPL
1993
ACM
15 years 10 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...