Add "A Separation Logic for Effect Handlers"

yallop / effects-bibliography

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

947 stars 80 forks source link

Closed yallop closed 3 years ago

yallop commented 3 years ago

Add @DeVilhena-Paulo and @fpottier's POPL'21 paper:

A Separation Logic for Effect Handlers (POPL 2021)
by Paulo Emílio de Vilhena and François Pottier
(pdf)