Viewing profile — mkawa
mkawa
HN member- Joined
- Thu, Dec 08, 2016, 3:06 PM UTC
- HN karma
- 3
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About mkawa
No profile information was provided.
Recent public activity
-
comment
Comment #13130694
If you'd like to learn more about how the Liquid Types style of refinement types works under the covers, I invite you to read Pat Rondon's thesis: http://goto.ucsd.edu/~pmr/papers/…