Refine
Year of publication
- 2013 (162) (remove)
Document Type
- Working Paper (162) (remove)
Has Fulltext
- yes (162)
Is part of the Bibliography
- no (162)
Keywords
- Liikanen-Kommission (5)
- banking union (4)
- Bail-in (3)
- Bankenunion (3)
- Banking Union (3)
- Contagion (3)
- European Banking Authority (EBA) (3)
- European Central Bank (ECB) (3)
- Gerichte (3)
- Gesellschaft (3)
Institute
- Center for Financial Studies (CFS) (79)
- Wirtschaftswissenschaften (72)
- House of Finance (HoF) (52)
- Rechtswissenschaft (22)
- Sustainable Architecture for Finance in Europe (SAFE) (18)
- Institute for Monetary and Financial Stability (IMFS) (12)
- Institute for Law and Finance (ILF) (8)
- LOEWE-Schwerpunkt Außergerichtliche und gerichtliche Konfliktlösung (8)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (7)
- Gesellschaftswissenschaften (5)
A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given. The description of the small-step operational semantics is precise and explicit, and employs an early abort of conflicting transactions. A proof of correctness of the implementation is given for a contextual semantics with may- and should-convergence. This implies that our implementation is a correct evaluator for an abstract specification equipped with a big-step semantics.
Außerhalb Griechenlands herrscht die Ansicht vor, dass eine höhere Wettbewerbsfähigkeit gleichbedeutend ist mit Preissenkungen für Güter und Dienstleistungen. Angesichts der begrenzten Bereitschaft in Griechenland, Reformen umzusetzen, fordern die Gläubiger drastische Lohnkürzungen, um die Produktivität zu erhöhen und die öffentlichen Ausgaben zu senken. Doch mit einer Kürzungsrunde nach der anderen lässt sich Wettbewerbsfähigkeit nicht erreichen. Umfangreiche flächendeckende Lohnkürzungen reduzieren vielmehr die erwartete Produktivität, da sie die besten Arbeitnehmer vertreiben, dem Rest Anreize zur Produktivität nehmen und neue gute Leute fernhalten.
This paper shows equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in LR, the deterministic call-by-need lambda calculus with letrec extended by data constructors, case-expressions and Haskell's seqoperator. LR models an untyped version of the core language of Haskell. Bisimilarity simplifies equivalence proofs in the calculus and opens a way for more convenient correctness proofs for program transformations.
The proof is by a fully abstract and surjective transfer of the contextual approximation into a call-by-name calculus, which is an extension of Abramsky's lazy lambda calculus. In the latter calculus equivalence of similarity and contextual approximation can be shown by Howe's method. Using an equivalent but inductive definition of behavioral preorder we then transfer similarity back to the calculus LR.
The translation from the call-by-need letrec calculus into the extended call-by-name lambda calculus is the composition of two translations. The first translation replaces the call-by-need strategy by a call-by-name strategy and its correctness is shown by exploiting infinite tress, which emerge by unfolding the letrec expressions. The second translation encodes letrec-expressions by using multi-fixpoint combinators and its correctness is shown syntactically by comparing reductions of both calculi. A further result of this paper is an isomorphism between the mentioned calculi, and also with a call-by-need letrec calculus with a less complex definition of reduction than LR.
Internationales Regulierungsgefälle und Wettbewerbsfähigkeit des Finanzplatzes Frankfurt am Main
(2013)
Enthält folgende Beiträge:
Prof. Dr. Reto Francioni: Internationales Regulierungsgefälle und Wettbewerbsfähigkeit des Finanzplatzes Frankfurt am Main
Prof. Dr. Horst Hammen: Regulierungsgefälle zu Lasten des Börsenplatzes Frankfurt – Hochfrequenzhandel, Organized Trading Facilities (OTF) und Finanztransaktionssteuer
Motivated by our experience in analyzing properties of translations between programming languages with observational semantics, this paper clarifies the notions, the relevant questions, and the methods, constructs a general framework, and provides several tools for proving various correctness properties of translations like adequacy and full abstractness. The presented framework can directly be applied to the observational equivalences derived from the operational semantics of programming calculi, and also to other situations, and thus has a wide range of applications.
Our motivation is the question whether the lazy lambda calculus, a pure lambda calculus with the leftmost outermost rewriting strategy, considered under observational semantics, or extensions thereof, are an adequate model for semantic equivalences in real-world purely functional programming languages, in particular for a pure core language of Haskell. We explore several extensions of the lazy lambda calculus: addition of a seq-operator, addition of data constructors and case-expressions, and their combination, focusing on conservativity of these extensions. In addition to untyped calculi, we study their monomorphically and polymorphically typed versions. For most of the extensions we obtain non-conservativity which we prove by providing counterexamples. However, we prove conservativity of the extension by data constructors and case in the monomorphically typed scenario.
Our motivation is the question whether the lazy lambda calculus, a pure lambda calculus with the leftmost outermost rewriting strategy, considered under observational semantics, or extensions thereof, are an adequate model for semantic equivalences in real-world purely functional programming languages, in particular for a pure core language of Haskell. We explore several extensions of the lazy lambda calculus: addition of a seq-operator, addition of data constructors and case-expressions, and their combination, focusing on conservativity of these extensions. In addition to untyped calculi, we study their monomorphically and polymorphically typed versions. For most of the extensions we obtain non-conservativity which we prove by providing counterexamples. However, we prove conservativity of the extension by data constructors and case in the monomorphically typed scenario.
This note proposes a new set-up for the fund backing the Single Resolution Mechanism (SRM). The proposed fund is a Multi-Tier Resolution Fund (MTRF), restricting the joint and several supranational liability to a limited range of losses, bounded by national liability at the upper and the lower end. The layers are, in ascending order: a national fund (first losses), a European fund (second losses), the national budget (third losses), the ESM (fourth losses, as a backup for sovereigns). The system works like a reinsurance scheme, providing clear limits to European-level joint liability, and therefore confining moral hazard. At the same time, it allows for some degree of risk sharing, which is important for financial stability if shocks to the financial system are exogenous (e.g., of a supranational macroeconomic nature). The text has four parts. Section A describes the operation of the Multi-Tier Resolution Fund, assuming the fund capital to be fully paid-in (“Steady State“). Section B deals with the build-up phase of the fund capital (“Build up“). Section C discusses how the proposal deals with the apparent incentive conflicts. The final Section D summarizes open questions which need further thought (“Open Questions“).
This policy letter provides an overview of the strengths, weaknesses, risks and opportunities of the upcoming comprehensive risk assessment, a euro area-wide evaluation of bank balance sheets and business models. If carried out properly, the 2014 comprehensive assessment will lead the euro area into a new era of banking supervision. Policy makers in euro area countries are now under severe pressure to define a credible backstop framework for banks. This framework, as the author argues, needs to be a broad, quasi-European system of mutually reinforcing backstops.
June 4th, 2013 marks the formal launch of the third generation of the Equator Principles (EP III) and the tenth anniversary of the EPs – enough reasons for evaluating the EPs initiative from an economic ethics and business ethics perspectives. In particular, this essay deals with the following questions: What are the EPs and where are they going? What has been achieved so far by the EPs? What are the strengths and weaknesses of the EPs? Which necessary reform steps need to be adopted in order to further strengthen the EPs framework? Can the EPs be regarded as a role-model in the field of sustainable finance and CSR? The paper is structured as follows: The first chapter defines the term EPs and introduces the keywords related to the EPs framework. The second chapter gives a brief overview of the history of the EPs. The third chapter discusses the Equator Principles Association, the governing, administering, and managing institution behind the EPs. The fourth chapter summarizes the main features and characteristics of the newly released third generation of the EPs. The fifth chapter critically evaluates the EP III from an economic ethics and business ethics perspectives. The paper concludes with a summary of the main findings.