Private types in Higher Order Logic Programming
Résumé
We report on ongoing work on introducing a mechanism for private types in a higher-order logic programming language such as λ Prolog.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
We report on ongoing work on introducing a mechanism for private types in a higher-order logic programming language such as λ Prolog.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03117762
Soumis le : jeudi 21 janvier 2021-15:05:43
Dernière modification le : mardi 26 août 2025-15:21:01
Archivage à long terme le : jeudi 22 avril 2021-19:24:58