1989 search results - page 11 / 398 » Set functions for functional logic programming |
CORR
2010
Springer
15 years 4 months ago
2010
Springer
133
Voted
DALT
2006
Springer
15 years 8 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
158
click to vote
LOPSTR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...