ELPI

MaRDI QIDQ40235swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-662-48899-7_32

Source code repository https://github.com/LPCIC/elpi

Described by source

• ELPI: fast, embeddable, Prolog interpreter

Cited in

(29)

• lang-n-play
• Beluga
• lolliCoP
• A semantic framework for proof evidence
• MontiCore
• On the effectiveness of higher-order logic programming in language-oriented programming
• \texttt{slepice}: towards a verified implementation of type theory in type theory
• Bedwyr
• Abella
• Irdis
• Minlog
• Maintaining a library of formal mathematics
• Mechanized metatheory revisited
• TCB
• Proof checking and logic programming
• MetaEdit+
• SugarJ
• Idris
• KANREN
• SPEC
• LLFp
• Teyjus
• Neverlang
• Template-Coq
• PRIZ
• A Modular Type Reconstruction Algorithm
• Implementing type theory in higher order constraint logic programming
• A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading
• scientific article; zbMATH DE number 7649978 (Why is no real title available?)

This page was built for software: ELPI