C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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