3 ms·Explicit Refinement Types5 points by fanf2 1y agotekne 1y agoHi, I'm the author of this paper! Nice to see it on HN!