Skip to main content Accessibility help

Vulnerability modelling with functional programming and dependent types


We present an interdisciplinary effort in the field of global environmental change, related to the understanding of the concept of ‘vulnerability’. We have used functional programming to capture the generic aspects of the myriad of definitions of vulnerability, and have used the resulting formalization to learn something new about vulnerability and to write some better software for vulnerability assessment. In the process, we have also found out something about formalization in general, about the advantages and disadvantages of dependent types, and about the role of computing science in the larger intellectual landscape.

Hide All
Calvo, C. and Dercon, S. (2005) Measuring Individual Vulnerability, University of Oxford, Department of Economics, Economics Series Working Papers. Available at
Claessen, K. and Hughes, J. (2003) Specification based testing with QuickCheck. In: The Fun of Programming, Cornerstones of Computing, Palgrave 17–40.
Goldblatt, R. (2006) Topoi, The Categorial Analysis of Logic, Dover Publications, Inc.
Hinkel, J. (2011) Indicators of vulnerability and adaptive capacity: towards a clarification of the science-policy interface. Global Environmental Change 21 (1) 198208.
Hughes, J. (2000) QuickCheck: An automatic testing tool for Haskell. User manual avaiable online at
Ionescu, C. (2009) Vulnerability Modeling and Monadic Dynamical Systems, Ph.D. thesis, Department of Mathematics and Informatics, Free University Berlin, Germany.
Ionescu, C., Klein, R. J. T., Hinkel, J., Kavi Kumar, K. V. S. and Klein, R (2009) Towards a formal framework of vulnerability to climate change. In: Environmental Modelling and Assessment Springer Netherlands 14 (1) 116.
Lemmen, D. and Warren, F. (2004) Climate Change Impacts and Adaptation: A Canadian Perspective, Natural Resources Canada.
Lincke, D., Ionescu, C. and Botta, N. (2008) A generic library for earth system modelling based on monadic systems. In: Ehlers, M., Behncke, K. and Gerstengarbe, F. (eds.) Proceedings of Digital Earth Summit on Geoinformatics: Tools for Global Change Research, Wichmann.
Lincke, D., Jansson, P., Zalewski, M. and Ionescu, C. (2009) Generic libraries in C++ with concepts from high-level domain descriptions in Haskell. A domain-specific library for computational vulnerability assessment. In: Taha, W. M. (ed.) Domain-Specific Languages, Proceedings of the IFIP TC 2 Working Conference DSL 2009, Oxford, UK, 15-17 July 2009.
Oxford Dictionary of English. (2005) Oxford University Press, Oxford, UK, Second edition (revised).
Parry, M., Canziani, O., Palutikof, J., van der Linden, P. and Hanson, C. (2007) Climate Change 2007: Impacts, Adaptation and Vulnerability. Contribution of working group II to the fourth assessment report of the Intergovernmental Panel on Climate Change, Cambridge University Press, Cambridge, UK.
Peyton Jones, S., Eber, J.-M. and Seward, J. (2000) Composing contracts: An adventure in financial engineering. In: Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming, ACM.
Peyton Jones, S. and Eber, J.-M. How to write a financial contract. In: The Fun of Programming, Cornerstones of Computing, Palgrave 105129.
Thywissen, K. (2006) Components of Risk, A Comparative Glossary. SOURCE - Studies Of the University: Research, Counsel, Education, UNU-EHS, 2.
Watson, R. T., Zinyowera, M. C. and Moss, R. H. (1995) Climate Change 1995: Impacts, Adaptations and Mitigation of Climate Change: Scientific-Technical Analyses. Contribution of Working Group II to the Second Assessment of the Intergovernmental Panel on Climate Change, Cambridge University Press, Cambridge, UK.
Wolf, S., Lincke, D., Hinkel, J., Ionescu, C. and Bisaro, S. (2008) Concept Clarification and Computational Tools – A Formal Framework of Vulnerability. FAVAIA Working Paper 8, Potsdam Institute for Climate Impact Research, Available at
Wolf, S. (2010) From Vulnerability Formalization to Finitely Additive Probability Monads. Ph.D. thesis, Department of Mathematics and Informatics, Free University Berlin, Germany.
World Bank, The (2001) World Development Report 2000/2001: Attacking Poverty. Oxford University Press.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed