Browsing by Subject "Lenguajes complejos"

Now showing items 1-2 of 2

    • Abstracting gradual typing: Metatheory and applications 
      Toro Ipinza, Matías (Universidad de Chile, 2019)
      Han habido muchos enfoques para integrar tipado estático y dinámico. Uno de los enfoques más notables es el del tipado gradual. El enfoque clásico para diseñar lenguajes graduales es usualmente ad-hoc, pero existen ...
    • Gradual sensitivity types 
      Arquez Trigo, Damián Nicolás (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 ...