Programming and Reasoning with Algebraic Effects and Dependent Types
cs.st-andrews.ac.uk
Programming and Reasoning with Algebraic Effects and Dependent Types
1–1 of 1 posts
1–1 of 1 posts
Programming and Reasoning with Algebraic Effects and Dependent Types
cs.st-andrews.ac.uk