Hacker News new | ask | show | jobs
by lfnoise 1889 days ago
Philip Wadler ? https://arxiv.org/abs/2005.11710