Sign in
Linear types for large-scale systems verification.
Jialin Li
Andrea Lattuada
Yi Zhou
Jonathan Cameron
Jon Howell
Bryan Parno
Chris Hawblitzel
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
real life
intelligent systems
data sets
neural network
asynchronous circuits
real world
machine learning
learning algorithm
data structure
expert systems
mobile robot
computer systems
complex systems
linear systems
formal methods