1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2020
Compiling a Higher-Order Smart Contract Language to LLVM
Vaivaswatha Nagaraj, Jacob Johannsen, Anton Trunov +3
Scilla is a higher-order polymorphic typed intermediate level language for implementing smart contracts. In this talk, we describe a Scilla compiler targeting LLVM, with a focus on…
cs.PL2015★ 1 cited
Needed Computations Shortcutting Needed Steps
Sergio Antoy, Jacob Johannsen, Steven Libby
We define a compilation scheme for a constructor-based, strongly-sequential, graph rewriting system which shortcuts some needed steps. The object code is another constructor-based…