Registro:
| Documento: | Tesis de Grado |
| Título: | Pure Pattern Calculus à la de Bruijn |
| Autor: | Martín Abad, Alexis |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Fecha de defensa: | 2025-06-05 |
| Fecha en portada: | 2025 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Viso, Andrés Ezequiel |
| Director Asistente: | Ríos, Alejandro Norberto |
| Jurado: | Barenbaum, Pablo; Melgratti, Hernán Claudio |
| Idioma: | Español |
| Palabras clave: | INDICES DE DE BRUIJN; CALCULOS DE PATRONES; PATTERN MATCHING; α-EQUIVALENCIADE BRUIJN INDICES; PATTERN CALCULI; PATTERN MATCHING; α-EQUIVALENCE |
| Formato: | PDF |
| Handle: |
https://hdl.handle.net/20.500.12110/seminario_nCOM000824_MartinAbad |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000824_MartinAbad.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000824_MartinAbad |
| Ubicación: | COM 000824 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Martín Abad, Alexis. (2025). Pure Pattern Calculus à la de Bruijn. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000824_MartinAbad |
Resumen:
Es bien conocido en el estudio de lenguajes de programación que lidiar con ligadores y nombres de variables puede ocasionar conflictos como ser capturas indeseadas de variable al implementar interpretes o compiladores. Este problema puede resolverse recurriendo a índices de de Bruijn en cálculos cuyos ligadores capturen un único nombre de variable, como el cálculo λ. Otra ventaja del enfoque con índices es que la α-equivalencia se transforma en igualdad sintáctica. Por otra parte, en estos últimos años los cálculos de patrones ganaron considerable atención por su expresividad. Resultan ser notablemente convenientes al estudiar los fundamentos de lenguajes de programación funcional que modelen pattern matching, path polymorphism, pattern polymorphism, entre otros. Sin embargo la literatura no aborda la cuestión de cómo lidiar con α-conversión y ligadores que capturen múltiples nombres de variable simultáneamente. Tal es el caso del Pure Pattern Calculus (PPC): una extensión natural del cálculo λ que permite abstraer prácticamente cualquier término. Este trabajo extiende las ideas de de Bruijn para abordar el problema de ligadura múltiple mediante la introducción de una novedosa presentación de PPC con índices bidimensionales, parte de un proyecto de implementación de un prototipo de un lenguaje de programación funcional tipado basado en PPC que captura path polymorphism.
Abstract:
It is well-known in the field of programming languages that dealing with variable names and binders may lead to conflicts such as undesired variable captures when implementing interpreters or compilers. This situation has been overcome by resorting to de Bruijn indices for calculi where binders capture only one variable name, like the λ-calculus. Another advantage of this approach is the fact that so-called α-equivalence becomes syntactical equality when working with indices. In recent years pattern calculi have gained considerable attention given their expressiveness. They turn out to be notoriously convenient to study the foundations of modern functional programming languages modeling features like pattern matching, path polymorphism, pattern polymorphism, among others. However, the literature falls short when it comes to dealing with α-conversion and binders capturing simultaneously several variable names. Such is the case of the Pure Pattern Calculus (PPC): a natural extension of λ-calculus that allows to abstract virtually any term. This thesis extends de Bruijn’s ideas to properly overcome the multi-binding problem by introducing a novel presentation of PPC with bidimensional indices, in an effort to implement a prototype for a typed functional programming language based on PPC that captures path polymorphism.
Citación:
---------- APA ----------
Martín Abad, Alexis. (2025). Pure Pattern Calculus à la de Bruijn. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000824_MartinAbad
---------- CHICAGO ----------
Martín Abad, Alexis. "Pure Pattern Calculus à la de Bruijn". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2025.https://hdl.handle.net/20.500.12110/seminario_nCOM000824_MartinAbad
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000824_MartinAbad.pdf
Distrubución geográfica
