search

yallop / effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects
935 stars 80 forks source link

Add "Algebraic Effects for Functional Programming" #195

Closed omentic closed 1 month ago

dhil commented 1 month ago

I think this is the techreport version of "Type directed compilation of row-typed algebraic effects" POPL'17 -- if I am correct, then we should add it to this entry.

omentic commented 1 month ago

Ah, it looks like it's a separate technical report, but nearly identical in content? Strange.

I've added in a link to both technical reports as v1 and v2 (though I'm not sure which is which) and put the alternate title underneath the existing paper. Let me know if I should change / remove anything...

dhil commented 1 month ago

I think this technical report is simply an early version of the POPL paper, and that Daan was using a different title then. I think we should just stick with one title, which should be the title of the POPL paper.

omentic commented 1 month ago

OK! I think I'll just close this then since there's already links to that paper :+1: