Sciweavers

4895 search results - page 313 / 979
» Functional Quantum Programming
Sort
View
MOR
2006
95views more  MOR 2006»
15 years 7 months ago
An Efficient Interior-Point Method for Convex Multicriteria Optimization Problems
In multicriteria optimization, several objective functions, conflicting with each other, have to be minimized simultaneously. We propose a new efficient method for approximating t...
Jörg Fliege
ICFP
2009
ACM
16 years 7 months ago
Runtime support for multicore Haskell
Purely functional programs should run well on parallel hardware because of the absence of side effects, but it has proved hard to realise this potential in practice. Plenty of pap...
Simon Marlow, Simon L. Peyton Jones, Satnam Singh
PPDP
2004
Springer
16 years 12 days ago
Adventures in interoperability: the SML.NET experience
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...
Nick Benton, Andrew Kennedy, Claudio V. Russo
ISSAC
1993
Springer
119views Mathematics» more  ISSAC 1993»
15 years 11 months ago
Finding all Hypergeometric Solutions of Linear Differential Equations
Hypergeometric sequences are such that the quotient of two successive terms is a fixed rational function of the index. We give a generalization of M. Petkov6ek’s algorithm to fi...
Marko Petkovsek, Bruno Salvy
PLPV
2010
ACM
16 years 4 months ago
Arity-generic datatype-generic programming
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
Stephanie Weirich, Chris Casinghino