Advanced Search
Now showing items 1-9 of 9
Abstracting gradual typing: Metatheory and applications
(Universidad de Chile, 2019)
Sistema de validación para el desarrollo incremental de un intérprete de R en Coq
(Universidad de Chile, 2018)
Desclasificación basada en tipos en DART: Implementación y elaboración de herramientas de inferencia
(Universidad de Chile, 2018)
Type abstraction and faceted types for declassification
(Universidad de Chile, 2020)
Herramienta para análisis de programas desarrollados en Scratch
(Universidad de Chile, 2021)
Diseño de un entorno de programación interactiva controlado por Joy-Cons
(Universidad de Chile, 2021)
Gradual sensitivity types
(Universidad de Chile, 2021)
Gradual system F
(Universidad de Chile, 2022)