search

yallop / effects-bibliography

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

Added links to the paper and Coq formalisation for "Handle with Care" (POPL 2018) #29

Closed fsieczkowski closed 6 years ago

fsieczkowski commented 6 years ago

Here's the link I promised last week to the pdf (and the Coq formalisation) of "Handle with Care".

yallop commented 6 years ago

Thank you!