Baidu
map

Plausible Sealing for Gradual Parametricity

Labrada, E; Toro, M; Tanter, E; Devriese, D

Labrada, E (通讯作者),Univ Chile, Comp Sci Dept DCC, PLEIAD Lab, Beauchef 851, Santiago, Chile.

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022; 6 (OOPSLA):

Baidu
map
Baidu
map
Baidu
map