Add a couple of ICFP 2023 papers

yallop / effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

935 stars 80 forks source link

Add a couple of ICFP 2023 papers #178

Closed yallop closed 10 months ago

yallop commented 10 months ago

A General Fine-Grained Reduction Theory for Effect Handlers
by Filip Sieczkowski, Mateusz Pyzik, and Dariusz Biernacki
With or Without You: Programming with Effect Exclusion
by Matthew Lutze (@mlutze), Magnus Madsen (@magnus-madsen), Philipp Schuster, and Jonathan Immanuel Brachthäuser (@b-studios)

dhil commented 10 months ago

Looks like a transient CI failure. I've restarted the job.

yallop commented 10 months ago

I think it's failing due to a JavaScript challenge from Cloudflare. The best way to fix it might be to use selenium instead of requests in https://github.com/yallop/check-markdown-urls, but it'll take a bit of setting up.