Browsing by Subject "Parametricity"
Now showing items 1-1 of 1
-
(Assoc Computing Machinery, 2022)Graduality and parametricity have proven to be extremely challenging notions to bring together. Intuitively, enforcing parametricity gradually requires possibly sealing values in order to detect violations of uniform ...