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 Yotam Dvir et al.'s paper on an algebraic theory for a strong memory model #186

Closed ohad closed 6 months ago

yallop commented 6 months ago

Thank you!