Explicit Refinement Types

(dl.acm.org)

5 points | by fanf2 a day ago ago

1 comments

  • tekne 19 hours ago

    Hi, I'm the author of this paper! Nice to see it on HN!