Simulating an Object-Oriented Financial System in a Functional Language

This paper summarises a successful application of functional programming within a commercial environment. We report on experience at Accenture's Financial Services Solution Centre in London with simulating an object-oriented financial system in order to assist analysis and design. The work was part of a large IT project for an international investment bank and provides a pragmatic case study.

[1]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[2]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[3]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[4]  Christopher D. Clack,et al.  The CLOVER Rewrite Rules: A Translation from OOFP to FP , 1997 .

[5]  Bertrand Meyer,et al.  Eiffel: The Language , 1991 .

[6]  S.-L. Lu,et al.  A functional language approach in high-speed digital simulation , 1983 .

[7]  Rex L. Page,et al.  Experience with a large scientific application in a functional language , 1993, FPCA '93.

[8]  Simon L. Peyton Jones,et al.  Report on the programming language Haskell: a non-strict, purely functional language version 1.2 , 1992, SIGP.

[9]  Marinus J. Plasmeijer,et al.  Interactive Functional Objects in Clean , 1997, Implementation of Functional Languages.

[10]  M PaulHudakEt,et al.  Report on the programming language haskell: a non-strict , 1992 .

[11]  Christopher D. Clack,et al.  Programming with Miranda , 1995 .

[12]  Reinhold Heckmann,et al.  A Functional Language for the Specification of Complex Tree Transformations , 1988, ESOP.

[13]  D. A. Turner,et al.  Miranda: A Non-Strict Functional language with Polymorphic Types , 1985, FPCA.

[14]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[15]  W. R. Stoye.  The implementation of functional languages using custom hardware , 1985 .

[16]  Pieter Koopman,et al.  Functional programs as executable specifications , 1990 .

[17]  Lee Braine,et al.  Object-flow , 1997, Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180).

[18]  Ian Poole,et al.  Formal specification of image processing primitives in a functional language , 1994, Proceedings of 12th International Conference on Pattern Recognition.

[19]  Robin Milner,et al.  Definition of standard ML , 1990 .

[20]  J. De Man.  Description of telecommunication systems by means of a functional language , 1989 .

[21]  Marinus J. Plasmeijer,et al.  CLEAN: a programming environment based on term graph rewriting , 1995, SEGRAGRA.

[22]  Lee Braine,et al.  Introducing CLOVER: An Object-Oriented Functional Language , 1996, Implementation of Functional Languages.