4716 search results - page 51 / 944 » Tangible functional programming |
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 ...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
LICS
2005
IEEE
14 years 1 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
13 years 11 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...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper, we propose a novel video similarity measure model using video time density function (VTDF) and dynamic programming. First, we employ VTDF to describe the density of...