Linear Types for Cashflow Reengineering

  • Torben Æ Mogensen
Conference paper

DOI: 10.1007/978-3-540-39866-0_2

Volume 2890 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Mogensen T.Æ. (2004) Linear Types for Cashflow Reengineering. In: Broy M., Zamulin A.V. (eds) Perspectives of System Informatics. PSI 2003. Lecture Notes in Computer Science, vol 2890. Springer, Berlin, Heidelberg

Abstract

A while back a major Danish bank approached the programming language group at DIKU for help on designing a language for modelling cash flow reengineering: The process of issuing customised bonds based on income from existing bonds. The idea was to have a simple language that allows non-programmers to describe such reengineering and run statistical simulations of the structures.

We describe the problem and present the design of a cashflow-reengineering language based on the dataflow paradigm and linear types. This language has formed the basis of further development by the bank in question and a variant of it is now in use there.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Torben Æ Mogensen
    • 1
  1. 1.DIKUUniversity of CopenhagenCopenhagen ODenmark