Fetching the paper…

Reading the bibliography…

2019

A Formal Semantics of Findel in Coq (Short Paper)

Arusoaie, Andrei

Original
PDF
Post on X

Understand

We present the first formal semantics of Findel - a DSL for specifying financial derivatives.

The semantics is encoded in Coq, and we use it to prove properties of several Findel contracts.

A Formal Semantics of Findel in Coq (Short Paper) · Around

Built on

Simon Peyton Jones, Jean marc Eber & Julian Seward (2000): Composing contracts: an adventure in financial engineering - Functional Pearl
2000
Earlier work this paper cites.

Similar

David Raymond Christiansen, Klaus Grue, Henning Niss, Peter Sestoft & Kristján S. Sigtryggsson (2013): An Actuarial Programming Language for Life Insurance and Pensions
2013
Cited alongside, same era.

Then

In: Financial Cryptography Workshops
Alex Biryukov, Dmitry Khovratovich & Sergei Tikhomirov (2017): Findel: Secure Derivative Contracts for Ethereum · 2017
Later among the works it cites.

Beyond the bibliography

alphaXiv searches the wider corpus for related work and actual follow-ups.

Open on alphaXiv

alphaXiv is searching for related work…