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·vor 13 Jahren·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

—