sle2026/paper02

SLE 2026 paper:
A Shallow Embedding of Datalog in Lean

Ramy Shahin

• URL: https://arxiv.org/abs/2605.02113
• T1D: Composition
  • The main focus of the paper is on shallow embedding of one software language into another, maximising interoperability.
• T3C: DSLs
  • Both Datalog and Lean are claimed to be domain-specific languages in the abstract.
• T5D: Formal Methods
  • Lean is a theorem prover, which puts it firmly into the formal methods field.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.