Fully Abstract from Static to Gradual

Publication:

2021

Journal article

Author(s)

;

;

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL

314 since deposited on 2022-02-25

20last month

5last week

Acq. date: 2026-02-27

1789 since deposited on 2022-02-25

Acq. date: 2026-02-27