Hacker News new | ask | show | jobs
Programming and Reasoning with Algebraic Effects and Dependent Types (cs.st-andrews.ac.uk)
2 points by stephenjudkins 4823 days ago