Skip to content

A calculus of expandable stores: Continuation-and-environment-passing style translations.

Hugo Herbelin, tienne Miquey

VenueA*LICS
Year2020
ProceedingsLICS

Browse the full LICS paper archive.