Hacia un sistema I polimórfico
Sistema I es un lambda cálculo simplemente tipado con pares, extendido con una teoría ecuacional obtenida a partir de los isomorfismos de tipos existentes entre los tipos simples con pares. En este trabajo en progreso proponemos una extensión de Sistema I hacia tipos polimórficos, añadiendo al siste...
Guardado en:
| Autores principales: | Sottile, Cristian, Díaz Caro, Alejandro, Martínez López, Pablo E. |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2019
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/91092 |
| Aporte de: |
Ejemplares similares
-
Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
por: Sottile, Cristian
Publicado: (2020) -
Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
por: Sottile, Cristian
Publicado: (2021) -
Fundamentos de lenguajes de programación cuántica y sus consecuencias en sistemas clásicos
por: Díaz Caro, Alejandro, et al.
Publicado: (2015) -
Factorización de derivaciones a través de tipos intersección
por: Ciruelos Rodríguez, Gonzalo
Publicado: (28 d) -
Factorización de derivaciones a través de tipos intersección
por: Ciruelos Rodríguez, Gonzalo
Publicado: (2018)