LVC – Linear Verified Compiler

Article URL: https://www.ps.uni-saarland.de/~sdschn/LVC.html

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

Points: 8

# Comments: 0

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