Browsing by Subject "Lenguajes de programación (Computadores)"

Now showing items 1-5 of 5

    • 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 ...
    • Concientización a niñas y niños chilenos de 10 a 12 años sobre clasificación y algoritmo Bayes ingenuo ... 
      Quiroz Vargas, Patricio Manuel (Universidad de Chile, 2022)
      Una de las áreas que ha tenido mayor éxito en Inteligencia Artificial (AI, por sus siglas en inglés) es Aprendizaje de Máquinas o Machine Learning (ML), debido a su utilidad para construir sistemas que detectan patrones. ...
    • 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 ...
    • Gradual system F 
      Labrada Deniz, Elizabeth (Universidad de Chile, 2022)
      El polimorfismo paramétrico es un mecanismo de abstracción ampliamente utilizado en los lenguajes de programación, que permite la definición genérica de funciones y tipos, y proporciona reutilización de código e independencia ...
    • Type abstraction and faceted types for declassification 
      Cruz Concepción, Raimil (Universidad de Chile, 2020)
      El tipado de seguridad para control de ujos de información previene que información con- dencial sea liberada hacia canales públicos. La propiedad fundamental de control de ujos de información, conocida como ...