Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix.

Christopher Goes

Browse the full ISoLA paper archive.