Skip to content

Explicit Effect Subtyping.

Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers

VenueAESOP
Year2018
ProceedingsESOP

Browse the full ESOP paper archive.