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

Christopher Goes

Published in: ISoLA (3) (2020)

Keyphrases

theoretical framework
model checking
qualitative and quantitative
formal methods
asynchronous circuits
databases
machine learning
decision making
information technology
theoretical basis
type checking
information retrieval
learning algorithm
image processing
integrity constraints