Hacker News new | ask | show | jobs
by tgma 832 days ago
Building White-Box Abstractions by Program Refinement[1]

[1]: https://people.inf.ethz.ch/suz/publications/onward16.pdf