Top New Trends Comments Past Ask Show Jobs

Programming and Reasoning with Algebraic Effects and Dependent Types · HackerTrans

Programming and Reasoning with Algebraic Effects and Dependent Types(cs.st-andrews.ac.uk)

2 points·by stephenjudkins·13 anni fa·0 comments

cs.st-andrews.ac.uk

Programming and Reasoning with Algebraic Effects and Dependent Types

http://www.cs.st-andrews.ac.uk/~eb/drafts/effects.pdf

0 comments

—