Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1601.05106/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTSound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types — mentioned by throwaway17_17https://news.ycombinator.com/item?id=24604523urn:hackerpapers:mention:1601.05106:24604523Sun, 27 Sep 2020 05:55:09 GMT<p>I certainly have a lot of recommendations that are topic adjacent, but most of my comment comes from mental revision. I have a horrible habit of reliving previous arguments and trying to find out what I could have said better to win the argument. I had an argument with a law school classmate who had a Masters in Mathematics (now a PhD) while we were on a road trip from Paris to Normandy, during summer abroad, and then ‘invented/discovered’ nature of mathematics was the real crux of the argument. I have spend the last 12 years going over and over and over that argument trying to win it and my…</p><p><a href="https://hackerpaper.kaipfister.de/p/1601.05106/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL