Buscar
Mostrando ítems 31-40 de 2358
Gradual typing for generic type-and-effect systems
(Universidad de Chile, 2014)
Los sistemas de tipos-y-efectos (type-and-effect systems) permiten a los programadores hacer valer invariantes y restricciones sobre los efectos secundarios que se generan durante la evaluación de un programa. Los sistemas ...
Customizable gradual polymorphic effects for Scala
(2015)
Despite their obvious advantages in terms of static reasoning, the adoption of effect systems is still rather limited in practice. Recent advances such as generic effect systems, lightweight effect polymorphism, and gradual ...
Un sistema de tipos gradual con semántica de casts para el lenguaje Elixir
(Udelar. FI., 2023)
En este proyecto se desarrolla un sistema de tipos para un fragmento importante de Elixir, un lenguaje de programación funcional de uso industrial con tipado dinámico que se ejecuta sobre la máquina virtual de Erlang. El ...
Gradual refinement types
(Universidad de Chile, 2017)
Los tipos refinados (Refinement Types) son una técnica efectiva de verificación basada en lenguajes que extienden la expresividad de los sistemas de tipos tradicionales incluyendo la posibilidad de restringir valores usando ...
Confined gradual typing
(ACM PRESS, 2014)
Un sistema de tipos gradual para el lenguaje funcional Elixir
(Udelar.FI, 2020)
Elixir es un lenguaje funcional, relativamente nuevo, con tipado dinámico, que busca ser muy potente y tener una sintaxis moderna. Además, es un lenguaje open source, lo que permite el estudio de su código fuente y la ...