ARCELLI FONTANA, F., Formato, F. (1995). Implementing Higher-Order Term-Rewriting for Program Transformation in lambdaProlog. In Proceedings of the Joint Conference on Declarative Programming (pp.245-256).
Implementing Higher-Order Term-Rewriting for Program Transformation in lambdaProlog
ARCELLI FONTANA, FRANCESCA;
1995
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.