4757 search results - page 71 / 952 » Monads for Functional Programming |
ICIP
2004
IEEE
14 years 11 months ago
2004
IEEE
ERLANG
2006
ACM
14 years 3 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 ...
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
ICLP
1990
Springer
14 years 1 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...