In this paper we study both market risks and nonmarket risks, without complete markets assumption, and discuss methods of measurement of these risks. We present and justify a set of four desirable properties for measures of risk, and call the measures satisfying these properties "coherent." We examine the measures of risk provided and the related actions required by SPAN, by the SEC/NASD rules, and by quantile-based methods. We demonstrate the universality of scenario-based methods for providing coherent measures. We offer suggestions concerning the SEC method. We also suggest a method to repair the failure of subadditivity of quantile-based methods. Copyright Blackwell Publishers Inc 1999.

No abstract

Starting with a time-0 coherent risk measure defined for "value processes", we also define risk measurement processes. Two other constructions of measurement processes are given in terms of sets of test probabilities. These latter constructions are identical and are related to the former construction when the sets fulfill a stability condition also met in multiperiod treatment of ambiguity as in decision-making. We finally deduce risk measurements for the final value of locked-in positions and repeat a warning concerning Tail-Value-at-Risk.

No abstract

Financial and insurance contracts do not sound like promising territory for functional programming and formal semantics, but in fact we have discovered that insights from programming languages bear directly on the complex subject of describing and valuing a large class of contracts.We introduce a combinator library that allows us to describe such contracts precisely, and a compositional denotational semantics that says what such contracts are worth. We sketch an implementation of our combinator library in Haskell. Interestingly, lazy evaluation plays a crucial role.