A typed continuation-passing translation for lexical effect handlers

DSpace Repository

A typed continuation-passing translation for lexical effect handlers

Author: Schuster, Philipp; Brachthäuser, Jonathan Immanuel; Müller, Marius; Ostermann, Klaus
Tübinger Autor(en):
Schuster, Philipp
Ostermann, Klaus
Issue year: 2022-06-09
Verlagsangabe: ACM
Language: English
Full text: https://doi.org/10.1145/3519939.3523710
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: ConferenceObject
Show full item record

This item appears in the following Collection(s)