Programming and Reasoning with Algebraic Effects and Dependent Types (cs.st-andrews.ac.uk) 2 points by stephenjudkins 13y ago ↗ HN
0 comments
[ 3.3 ms ] story [ 5.5 ms ] threadNo comments yet.