top | new | best | ask | show | jobs

top | item 14737226

Local Refinement Typing

2 points| wkornewald | 8 years ago |arxiv.org

discuss

order

No comments yet.

powered by hn/api // news.ycombinator.com