,

Plausible sealing for gradual parametricity.

, , , и .
Proc. ACM Program. Lang., 6 (OOPSLA1): 1-28 (2022)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии