Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain.

Bruno Bernardo, Raphal Cauderlier, Basile Pesin, Julien Tesson

Browse the full FC paper archive.