Improving the efficiency and reliability of gradual typing
Doctor en Ciencias, Mención Computación === Gradual Typing permite a un programador aplicar tipos estáticos a ciertas partes de un programa, dejando el resto dinámicamente tipeado. Sin embargo, esto viene con un costo en el rendimiento. Una razón es que el runtime tiene que realizar siempre un caste...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
Universidad de Chile
2015
|
| Subjects: | |
| Online Access: | http://repositorio.uchile.cl/handle/2250/132317 |