Private types in Higher Order Logic Programming

Marco Maggesi (1) , Enrico Tassi (2)

1 UniFI - Università degli Studi di Firenze = University of Florence = Université de Florence
2 STAMP - Sûreté du logiciel et Preuves Mathématiques Formalisées

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]

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⟩