Type specialisation of polymorphic languages [recurso electrónico]

Título:

Type specialisation of polymorphic languages [recurso electrónico]

Autor:

Martínez López, Pablo Ernesto

Otros autores / Colaboradores:

 Hughes, John; [ Director/a] 

Temas:

PROGRAMACIÓN AUTOMÁTICA; PROGRAMACIÓN FUNCIONAL; LENGUAJES DE PROGRAMACIÓN; 

URL:

,

Nota de tesis:

Tesis (Doctorado en Ciencias de la Computación) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación, 2005.

Puede solicitar más fácilmente el ejemplar con:

Introduction
Partial Evaluation
Type Specialization
Examples
Theory of Qualified Types
Principal Type Specialization
The Algorithm and The Proof
Constraint Solving and Postprocessing
Extending the Source Language
The Prototype
Inherited Limit: Polymorphism
About Jones' Optimality
Related Work
Future Work
Conclusions
Proofs
References.
 Formato de archivo: PDF.
Disponible también en línea (Cons. 17/03/2009)