3323 search results - page 125 / 665 » Computational Semantics with Functional Programming |
123
Voted
FSTTCS
2000
Springer
15 years 8 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...
165
Voted
ERLANG
2003
ACM
15 years 10 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
169
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
162
Voted
ENTCS
2008
15 years 5 months ago
2008
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
120
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
In research on musical audio-mining, annotated music databases are needed which allow the development of computational tools that extract from the musical audiostream the kind of ...