3323 search results - page 125 / 665 » Computational Semantics with Functional Programming |
FSTTCS
2000
Springer
15 years 6 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...
141
Voted
ERLANG
2003
ACM
15 years 7 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...
146
Voted
SAC
2008
ACM
15 years 2 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 ...
131
click to vote
ENTCS
2008
15 years 2 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�...
90
Voted
ISMIR
2004
Springer
15 years 8 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 ...