[Supporting material] On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control

Text source-files for the mechanised proofs supporting the paper, formalised in Abella We compare the expressive power of three programming abstractions for user-defined computational effects: Bauer and Pretnar's effect handlers, Filinski's monadic reflection, and delimited control...

Deskribapen osoa

Xehetasun bibliografikoak
Egile nagusia: Pretnar, M
Formatua: Dataset
Hizkuntza:English
Argitaratua: University of Oxford 2017