Verifying efficient function calls in CakeML.

Scott Owens Michael Norrish Ramana Kumar Magnus O. Myreen Yong Kiam Tan

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

artificial intelligence
efficient implementation
three dimensional
cooperative
cost effective
computationally expensive