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
Be the first to leave a comment!
You must be logged in first