Proof of Programs with Effect Handlers. (Preuve de Programmes avec Effect Handlers)

Paulo Emílio de Vilhena. Proof of Programs with Effect Handlers. (Preuve de Programmes avec Effect Handlers). PhD thesis, Université Paris Cité, France, 2022. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: