Skip to Main content Skip to Navigation
Conference papers

Private types in Higher Order Logic Programming

Abstract : We report on ongoing work on introducing a mechanism for private types in a higher-order logic programming language such as λ Prolog.
Complete list of metadata

https://hal.inria.fr/hal-03117762
Contributor : Enrico Tassi Connect in order to contact the contributor
Submitted on : Thursday, January 21, 2021 - 3:05:43 PM
Last modification on : Thursday, January 20, 2022 - 4:13:23 PM
Long-term archiving on: : Thursday, April 22, 2021 - 7:24:58 PM

File

privtypes.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03117762, version 1

Collections

Citation

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⟩

Share

Metrics

Les métriques sont temporairement indisponibles