2 code implementations • 16 Dec 2020 • Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
As part of this, we implement an optimisation pass removing unused arguments.
Programming Languages Logic in Computer Science
1 code implementation • 12 Nov 2019 • Jakob Botsch Nielsen, Bas Spitters
We present a model/executable specification of smart contract execution in Coq.
Logic in Computer Science Programming Languages
2 code implementations • 24 Jul 2019 • Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters
We present a new way of embedding functional languages into the Coq proof assistant by using meta-programming.
Programming Languages Logic in Computer Science
