Login / Signup
Compiling a Higher-Order Smart Contract Language to LLVM.
Vaivaswatha Nagaraj
Jacob Johannsen
Anton Trunov
George Pîrlea
Amrit Kumar
Ilya Sergey
Published in:
CoRR (2020)
Keyphrases
</>
higher order
programming language
lambda calculus
natural images
high order
language processing
pairwise
artificial intelligence
specification language
supply chain
conditional random fields
predicate invention
data sets
pattern languages
hidden markov models
natural language
decision making
neural network