2335 search results - page 18 / 467 » Functional Differentiation of Computer Programs |
SIAMCO
2000
13 years 7 months ago
2000
We study spectral properties of certain families of linear second-order differential operators arising from linear stochastic differential equations. We construct a basis in the Hi...
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 ...
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
ICALP
2004
Springer
14 years 29 days ago
2004
Springer