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