has been cited by the following works.
- 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.
- 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.
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.