Mentions légales du service

Tags

Tags give the ability to mark specific points in history as being important

popl2022cameraready

46d11aa3 · Use the standard ACM-Reference-Format.bst. · Nov 16, 2021
```
POPL 2022 camera-ready version.
```
popl2022final

b1c85260 · changed to: \setcopyright{rightsretained} · Nov 15, 2021
```
POPL 2022 final version.
```
popl2022revised

e38cd3a4 · Comments. · Oct 29, 2021
```
Revised version.
```
popl2022submission

fe631126 · renamed central invariant to I · Jul 08, 2021
```
POPL 2022 submission.
```