Reimplementación de AspectAG basada en nuevas extensiones de Haskell
Supervisor(es): Pardo, Alberto - Viera, Marcos
2019 | |
Programming Languages Haskell Dependent Types Type Level Programming DSL EDSL Compilation |
|
Español | |
Universidad de la República | |
COLIBRI | |
https://hdl.handle.net/20.500.12008/28346 | |
Acceso abierto | |
Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0) |
Resultados similares
-
Modular and type-safe definition of Attribute Grammars with AspectAG
Autor(es):: García-Garland, Juan
Fecha de publicación:: (2022) -
Functions in C5
Autor(es):: Cabezas, Juan José
Fecha de publicación:: (2006) -
C5 printf and C5 scanfin C5 version 0.98
Autor(es):: Cabezas, Juan José
Fecha de publicación:: (2006) -
A generic version of scanf programmed in C5
Autor(es):: Cabezas, Juan José
Fecha de publicación:: (2004) -
A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
Autor(es):: Bove, Ana
Fecha de publicación:: (1995)