Existential Quantification for Variant Ownership.

Nicholas Cameron, Sophia Drossopoulou

Browse the full ESOP paper archive.