An architecture for the compilation of persistent polymorphic reflective higher...

• Autor(es): Lopes, João António Correia
• Data: 2012
• Identificador Persistente: http://hdl.handle.net/10216/11047
• Origem: Repositório Aberto da Universidade do Porto
• Assunto(s): Computador
• Tipo de Documento: Tese de Doutoramento
• Idioma: Inglês

Descrição

Dissertation submitted for obtain the degree of Doctor of Philosophy, to University of Glasgow, Department of Computing Science, under supervision Prof. Malcolm Atkinson and Prof. Peter Dickman