Login / Signup
Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain.
Bruno Bernardo
Raphaël Cauderlier
Basile Pesin
Julien Tesson
Published in:
Financial Cryptography Workshops (2020)
Keyphrases
</>
language learning
natural language
neural network
supply chain
programming language
language processing
databases
object oriented
english language
information retrieval
general purpose
smart environments
representation language
linguistic knowledge
operational semantics