{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T04:25:38Z","timestamp":1754195138289},"reference-count":19,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,12,15]],"date-time":"2014-12-15T00:00:00Z","timestamp":1418601600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2016,1]]},"abstract":"<jats:p>We present an interdisciplinary effort in the field of global environmental change, related to the understanding of the concept of \u2018vulnerability\u2019. 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.<\/jats:p>","DOI":"10.1017\/s0960129514000139","type":"journal-article","created":{"date-parts":[[2014,12,15]],"date-time":"2014-12-15T06:00:07Z","timestamp":1418623207000},"page":"114-128","source":"Crossref","is-referenced-by-count":4,"title":["Vulnerability modelling with functional programming and dependent types"],"prefix":"10.1017","volume":"26","author":[{"given":"CEZAR","family":"IONESCU","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,12,15]]},"reference":[{"key":"S0960129514000139_ref17","unstructured":"Wolf S. , Lincke D. , Hinkel J. , Ionescu C. and Bisaro S. (2008) Concept Clarification and Computational Tools \u2013 A Formal Framework of Vulnerability. FAVAIA Working Paper 8, Potsdam Institute for Climate Impact Research, Available at http:\/\/www.pik-potsdam.de\/favaia\/pubs\/favaiaworkingpaper8.pdf"},{"key":"S0960129514000139_ref15","unstructured":"Thywissen K. (2006) Components of Risk, A Comparative Glossary. SOURCE - Studies Of the University: Research, Counsel, Education, UNU-EHS, 2."},{"key":"S0960129514000139_ref18","unstructured":"Wolf S. (2010) From Vulnerability Formalization to Finitely Additive Probability Monads. Ph.D. thesis, Department of Mathematics and Informatics, Free University Berlin, Germany."},{"key":"S0960129514000139_ref10","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/978-3-642-03034-5_12"},{"key":"S0960129514000139_ref5","unstructured":"Hughes J. (2000) QuickCheck: An automatic testing tool for Haskell. User manual avaiable online at http:\/\/www.cs.chalmers.se\/rjmh\/QuickCheck\/manual.html"},{"key":"S0960129514000139_ref8","doi-asserted-by":"crossref","unstructured":"Lemmen D. and Warren F. (2004) Climate Change Impacts and Adaptation: A Canadian Perspective, Natural Resources Canada.","DOI":"10.4095\/226467"},{"key":"S0960129514000139_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.gloenvcha.2010.08.002"},{"key":"S0960129514000139_ref3","volume-title":"Topoi, The Categorial Analysis of Logic","author":"Goldblatt","year":"2006"},{"key":"S0960129514000139_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10666-008-9179-x"},{"key":"S0960129514000139_ref9","volume-title":"Proceedings of Digital Earth Summit on Geoinformatics: Tools for Global Change Research","author":"Lincke","year":"2008"},{"key":"S0960129514000139_ref14","first-page":"105","volume-title":"The Fun of Programming","author":"Peyton Jones"},{"key":"S0960129514000139_ref1","unstructured":"Calvo C. and Dercon S. (2005) Measuring Individual Vulnerability, University of Oxford, Department of Economics, Economics Series Working Papers. Available at http:\/\/ideas.repec.org\/p\/oxf\/wpaper\/229.html."},{"key":"S0960129514000139_ref16","volume-title":"Climate Change 1995: Impacts, Adaptations and Mitigation of Climate Change: Scientific-Technical Analyses","author":"Watson","year":"1995"},{"key":"S0960129514000139_ref12","volume-title":"Climate Change 2007: Impacts, Adaptation and Vulnerability","author":"Parry","year":"2007"},{"key":"S0960129514000139_ref2","doi-asserted-by":"crossref","unstructured":"Claessen K. and Hughes J. (2003) Specification based testing with QuickCheck. In: The Fun of Programming, Cornerstones of Computing, Palgrave 17\u201340.","DOI":"10.1007\/978-1-349-91518-7_2"},{"key":"S0960129514000139_ref19","volume-title":"World Development Report 2000\/2001: Attacking Poverty","year":"2001"},{"key":"S0960129514000139_ref6","unstructured":"Ionescu C. (2009) Vulnerability Modeling and Monadic Dynamical Systems, Ph.D. thesis, Department of Mathematics and Informatics, Free University Berlin, Germany."},{"key":"S0960129514000139_ref13","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1145\/351240.351267"},{"key":"S0960129514000139_ref11","unstructured":"Oxford Dictionary of English. (2005) Oxford University Press, Oxford, UK, Second edition (revised)."}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129514000139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T08:50:12Z","timestamp":1566118212000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129514000139\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,15]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,1]]}},"alternative-id":["S0960129514000139"],"URL":"https:\/\/doi.org\/10.1017\/s0960129514000139","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,15]]}}}