1989 search results - page 11 / 398 » Set functions for functional logic programming |
PPDP
1999
Springer
13 years 11 months ago
1999
Springer
IFIP
1994
Springer
13 years 11 months ago
1994
Springer
CORR
2010
Springer
13 years 7 months ago
2010
Springer
DALT
2006
Springer
13 years 11 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...
LOPSTR
2007
Springer
14 years 1 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...