Skip to main content
SpringerLink
Log in

Software Development for the Working Actuary

  • Conference paper
End-User Development (IS-EUD 2013)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7897))

Included in the following conference series:

Abstract

We present an in-progress domain-specific language for actuaries. Due to the mathematical sophistication of actuaries and the relatively high degree of formalization of the field, we conjecture that a dependently-typed functional language with special support for actuarial models will enable actuaries to develop software that is robust and understandable.

Work supported by the Danish Advanced Technology Foundation (Højteknologifonden) (017-2010-3).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arnold, B.R.T., van Deursen, A., Res, M.: Algebraic specification of a language for describing financial products. Technical report, Eindhoven University of Technology (1995)

    Google Scholar 

  2. Mogensen, T.Æ.: Linear Types for Cashflow Reengineering. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 13–21. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  3. Oury, N., Swierstra, W.: The power of pi. In: Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming, ICFP 2008, pp. 39–50. ACM, New York (2008)

    Chapter  Google Scholar 

  4. Peyton-Jones, S., Eber, J.M., Seward, J.: Composing contracts: an adventure in financial engineering (functional pearl). SIGPLAN Not. 35(9), 280–292 (2000)

    Article  Google Scholar 

  5. David Promislow, S.: Fundamentals of Actuarial Mathematics, 2nd edn. Wiley (2011)

    Google Scholar 

  6. Directive 2009/138/EC of the European Parliament and of the council

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IT University of Copenhagen, UK

    David Raymond Christiansen

Authors
  1. David Raymond Christiansen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IT University of Copenhagen, 2300, Copenhagen, Denmark

    Yvonne Dittrich

  2. Oregon State University, 97331-5501, Corvallis, OR, USA

    Margaret Burnett

  3. InterMedia, University of Oslo, Blindern, 0318, Oslo, Norway

    Anders Mørch

  4. University of California, 92697-3440, Irvine, CA, USA

    David Redmiles

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Christiansen, D.R. (2013). Software Development for the Working Actuary. In: Dittrich, Y., Burnett, M., Mørch, A., Redmiles, D. (eds) End-User Development. IS-EUD 2013. Lecture Notes in Computer Science, vol 7897. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38706-7_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38706-7_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38705-0

  • Online ISBN: 978-3-642-38706-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation