Computer science2018 · shared on Hacker News
The power of pi: design patterns for dependently-types programming [pdf]
Research PDF · needs verificationExplore The power of pi: design patterns for dependently-types programming [pdf], its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Ybased2 ·
JSON Schema
153 points98 comments
Yjhoxray ·
A Pure Types-Driven real-world apps development approach
49 points38 comments
Yfanf2 ·
The power of pi: design patterns for dependently-types programming [pdf]
1 points0 comments