Extensible Extraction of Efficient Imperative Programs

Article URL: https://link.springer.com/chapter/10.1007%2F978-3-030-51054-1_7

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

Points: 1

# Comments: 0

from Hacker News: Newest https://ift.tt/2NGWppO
via IFTTT