We report on ongoing work on introducing a mechanism for private types in a higher-order logic pro- gramming language such as λ Prolog and discuss certain technical details about the implementation of private types in the Elpi interpreter.
Private types in Higher Order Logic Programming / Marco Maggesi; Enrico Tassi. - ELETTRONICO. - (2020), pp. 1-2.
Private types in Higher Order Logic Programming
Marco Maggesi;Enrico Tassi
2020
Abstract
We report on ongoing work on introducing a mechanism for private types in a higher-order logic pro- gramming language such as λ Prolog and discuss certain technical details about the implementation of private types in the Elpi interpreter.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
maggesi-TEASE-LP.pdf
accesso aperto
Descrizione: Versione presente sul sito del Workshop https://www.coalg.org/tease-lp/files/2020/05/maggesi-TEASE-LP.pdf
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Open Access
Dimensione
123.18 kB
Formato
Adobe PDF
|
123.18 kB | Adobe PDF |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
