Amrit Kumar | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Ilya Sergey
16 publications
Aquinas Hobor
9 publications
George Pîrlea
2 publications
Vaivaswatha Nagaraj
1 publication
Jacob Johannsen
1 publication
Anton Trunov
1 publication

research

∙ 08/12/2020

Compiling a Higher-Order Smart Contract Language to LLVM

Scilla is a higher-order polymorphic typed intermediate level language f...

0 Vaivaswatha Nagaraj, et al. ∙

research

∙ 01/02/2018

Scilla: a Smart Contract Intermediate-Level LAnguage

This paper outlines key design principles of Scilla---an intermediate-le...

0 Ilya Sergey, et al. ∙