Publication:

Plausible Sealing for Gradual Parametricity

Date

 
dc.contributor.authorLabrada, Elizabeth
dc.contributor.authorToro, Matias
dc.contributor.authorTanter, Eric
dc.contributor.authorDevriese, Dominique
dc.date.accessioned2022-07-14T14:30:59Z
dc.date.available2022-05-15T02:18:29Z
dc.date.available2022-07-14T14:30:59Z
dc.date.issued2022
dc.description.wosFundingTextResearch conducted while Elizabeth was affiliated with Vrije Universiteit Brussel and KU Leuven, Belgium. This work is partially funded by ANID FONDECYT projects 1190058 and 3200583, Chile.
dc.identifier.doi10.1145/3527314
dc.identifier.issn2475-1421
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/39828
dc.publisherASSOC COMPUTING MACHINERY
dc.source.issueOOPSLA
dc.source.journalPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
dc.source.numberofpages28
dc.source.volume6
dc.title

Plausible Sealing for Gradual Parametricity

dc.typeJournal article
dspace.entity.typePublication
Files

Original bundle

Name:
3527314 (1).pdf
Size:
424.33 KB
Format:
Unknown data format
Description:
Published version
Publication available in collections: