Private types in Higher Order Logic Programming - Archive ouverte HAL Access content directly
Conference Papers Year : 2020

Private types in Higher Order Logic Programming

(1) , (2)
1
2

Abstract

We report on ongoing work on introducing a mechanism for private types in a higher-order logic programming language such as λ Prolog.
Fichier principal
Vignette du fichier
privtypes.pdf (123.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-03117762 , version 1

Cite

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⟩
46 View
89 Download

Share

Gmail Facebook Twitter LinkedIn More