TY - RPRT TI - Compiling a Higher-Order Smart Contract Language to LLVM AU - Vaivaswatha Nagaraj AU - Jacob Johannsen AU - Anton Trunov AU - George Pîrlea AU - Amrit Kumar AU - Ilya Sergey PY - 2020 UR - https://arxiv.org/abs/2008.05555 ID - 2008.05555 ER -