Linearity, Uniqueness, Ownership: An Entente Cordiale [POPL 2022 SRC]
Channel: Daniel Marshall
Date: 2022-01-04

A "virtual poster" for the Student Research Competition at POPL 2022.

Extended abstract available at https://starsandspira.ls/docs/popl22src-abstract.pdf
More details on the competition available at https://popl22.sigplan.org/track/POPL-2022-student-research-competition