Skip to content

A Type System for Effect Handlers and Dynamic Labels.

Paulo Emlio de Vilhena, Franois Pottier

VenueAESOP
Year2023
ProceedingsESOP

Browse the full ESOP paper archive.