A simple algebraic financial contract language
This is an implementation of a simple financial contract language. The implementation is written in Standard ML and will easily run in most SML implementations.
Simply write
$ make contracts.exe
$ ./contracts.exe
You need eiter Mlkit or MLton to get it to run with only changes to the Makefile.
See also
Martin Elsman. Functional Programming for Trade Management and Valuation. Seminar on Functional High Performance Computing in Finance. December 14, 2010.