A CALCULUS FOR SCOPED EFFECTS & HANDLERS.

Saved in:
Bibliographic Details
Title: A CALCULUS FOR SCOPED EFFECTS & HANDLERS.
Authors: BOSMAN, ROGER1, roger.bosman@kuleuven.be, VAN DEN BERG, BIRTHE1, birthe.vandenberg@kuleuven.be, WENHAO TANG2, wenhao.tang@ed.ac.uk, SCHRIJVERS, TOM1, tom.schrijvers@kuleuven.be
Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p17:1-17:50, 50p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.46298/LMCS-20(4:17)2024