Abstracting gradual typing: Metatheory and applications
Tesis para optar al grado de Doctor en Ciencias, Mención Computación === 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 metodologías...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
Universidad de Chile
2019
|
| Subjects: | |
| Online Access: | http://repositorio.uchile.cl/handle/2250/170935 |