1989 search results - page 5 / 398 » Set functions for functional logic programming |
FSS
2010
13 years 4 months ago
2010
JMLR
2012
11 years 10 months ago
2012
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
ERLANG
2006
ACM
14 years 1 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
PADL
1999
Springer
13 years 11 months ago
1999
Springer