Dominic Orchard@dorchard·Aug 22, 2021Join us at HOPE 2021 if you are at @icfp_conference where my student Timo Tomandl is going to be talking soon on work-in-progress on Formalising Algebraic Effects with (Intrinsic) Failure https://icfp21.sigplan.org/home/hope-2021#program…1217
Dominic Orchard@dorchard·Aug 22, 2021Also his extended abstract is online https://cs.kent.ac.uk/people/staff/dao7/publ/timo-hope21.pdf…12
Brendan Zabarauskas@brendanzabReplying to @dorchardThis looks cool!!10:27 AM · Aug 22, 2021·Twitter Web App
