Publication:
Plausible Sealing for Gradual Parametricity
| dc.contributor.author | Labrada, Elizabeth | |
| dc.contributor.author | Toro, Matias | |
| dc.contributor.author | Tanter, Eric | |
| dc.contributor.author | Devriese, Dominique | |
| dc.date.accessioned | 2022-07-14T14:30:59Z | |
| dc.date.available | 2022-05-15T02:18:29Z | |
| dc.date.available | 2022-07-14T14:30:59Z | |
| dc.date.issued | 2022 | |
| dc.description.wosFundingText | Research 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.doi | 10.1145/3527314 | |
| dc.identifier.issn | 2475-1421 | |
| dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/39828 | |
| dc.publisher | ASSOC COMPUTING MACHINERY | |
| dc.source.issue | OOPSLA | |
| dc.source.journal | PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL | |
| dc.source.numberofpages | 28 | |
| dc.source.volume | 6 | |
| dc.title | Plausible Sealing for Gradual Parametricity | |
| dc.type | Journal article | |
| dspace.entity.type | Publication | |
| Files | Original bundle
| |
| Publication available in collections: |