The relative complement problem for higher-order patterns / A. Momigliano, F. Pfenning - In: Proceedings of the 1999 international conference on Logic programmingCambridge, MA, USA : Massachusetts Institute of Technology, 1999. - ISBN 0-262-54104-1. - pp. 381-394 (( convegno 1999 international conference on Logic programming.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.