Private types in Higher Order Logic Programming - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2020

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.

Domaines

Logique en informatique [cs.LO] Logiciel mathématique [cs.MS]
Fichier principal
Vignette du fichier
privtypes.pdf (123.18 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Enrico Tassi  : 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 : lundi 15 avril 2024-11:02:04

Archivage à long terme le : jeudi 22 avril 2021-19:24:58

Télécharger pour visualiser

Dates et versions

hal-03117762 , version 1 (21-01-2021)

Identifiants

  • HAL Id : hal-03117762 , version 1

Citer

Marco Maggesi, Enrico Tassi. Private types in Higher Order Logic Programming. TEASE-LP 2020 - Workshop on Trends, Extensions, Applications and Semantics of Logic Programming, May 2020, Virtual Event, France. ⟨hal-03117762⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 UNIV-COTEDAZUR
68 Consultations
122 Téléchargements

Partager

More