Buscar
Mostrando ítems 11-20 de 2356
Gradual Liquid Type Inference
(2018)
Refinement types allow for lightweight program verification by enriching types with logical predicates. Liquid typing provides a decidable refinement inference mechanism that is convenient but subject to two major issues: ...
Type-Driven Gradual Security with References
(2018)
In security-typed programming languages, types statically enforce noninterference between potentially conspiring values, such as the arguments and results of functions. But to adopt static security types, like other advanced ...
Abstracting gradual references
(Elsevier, 2020)
Gradual typing is an effective approach to integrate static and dynamic typing, which supports the smooth transition between both extremes via the imprecision of type annotations. Gradual typing has been applied in many ...
Gradual Parametricity, Revisited
(2019)
Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, ...
Gradual sensitivity types
(Universidad de Chile, 2021)
Sensitivity type systems are used to reason about the sensitivity of computations. This is of particular interest in the fields of privacy, specially differential privacy. One caveat of sensitivity types is that, being a ...
A gradual interpretation of union types
(Springer, 2017)
Union types allow to capture the possibility of a term to be ofseveral possibly unrelated types. Traditional static approaches to uniontypes are untagged and tagged unions, which present dual advantagesin their use. Inspired ...
Gradual type-and-effect systems
(2016)
Effect systems have the potential to help software developers, but their practical adoption has been very limited. We conjecture that this limited adoption is due in part to the difficulty of transitioning from a system ...
Gradual type-and-effect systems
(2016)
Effect systems have the potential to help software developers, but their practical adoption has been very limited. We conjecture that this limited adoption is due in part to the difficulty of transitioning from a system ...