Hacker News new | ask | show | jobs
A theory of changes for higher-order languages (2013) (researchgate.net)
2 points by codeismath 1778 days ago