Viewing profile — labbekak
labbekak
HN member- Joined
- Mon, Oct 30, 2017, 9:48 AM UTC
- HN karma
- 31
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About labbekak
No profile information was provided.
Recent public activity
-
comment
Comment #15583923
I recommend the paper "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" by Dunfield and Krishnaswami. It describes an easy to implement algorithm for type…