Hacker News new | ask | show | jobs
Local Refinement Typing (arxiv.org)
2 points by wkornewald 3265 days ago