Search Results for author:
Found 2 papers, 1 papers with code
HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
Due to the large amount of money that smart contracts deal with, there is a surging demand for a method that can statically and formally verify them.
A Dependently Typed Multi-Stage Calculus
We study a dependently typed extension of a multi-stage programming language \`a la MetaOCaml, which supports quasi-quotation and cross-stage persistence for manipulation of code fragments as first-class values and an evaluation construct for execution of programs dynamically generated by this code manipulation.
Programming Languages
Cannot find the paper you are looking for? You can
Submit a new open access paper.
