The Verified CakeML Compiler Backend (2018) [pdf]

Article URL: https://www.cs.cmu.edu/~yongkiat/files/cakeml-jfp.pdf

Comments URL: https://news.ycombinator.com/item?id=18838534

Points: 7

# Comments: 0

from Hacker News: Front Page http://bit.ly/2ReewYz
via