Citations

• Simon Frankau, Diomidis Spinellis, Nick Nassuphis, and Christoph Burgard. Commercial uses: Going functional on exotic trades. Journal of Functional Programming, 19(1):27–45, January 2009. (doi:10.1017/S0956796808007016)

• C. Harrington, N. Dahl, P. Sestoft, and D.R. Christiansen. Pension reserve computations on GPUs. In 3rd ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC 2014, pages 3–10. Association for Computing Machinery, 2014. (doi:10.1145/2636228.2636230)

• P. Bahr, J. Berthold, and M. Elsman. Certified symbolic management of financial multi-party contracts. In 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, volume 2015-August, pages 315–327. Association for Computing Machinery, 2015. (doi:10.1145/2784731.2784747)

Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-Share Alike 3.0 Greece License.