The ELS2021 programme is out! I am VERY excited about

⭐​ Nada Amin's keynote
"Staged Relational Interpreters: Running Backwards, Faster" ⭐​​

including logic programming, miniKanren, compilers from interpreters, and only good stuff!
🤩​

Excerpt from the abstract:

> Bringing multi-stage programming to relational programming, we derive a relational compiler from the relational interpreter.

🚀​

Full abstract on the symposium's website: european-lisp-symposium.org/20

@lisp @scheme
@clojure
@commonlisp

Follow

Did I say it will also include formal proving? Yes, she'll stage a miniKanren based "proof checker turned prover and various towers of interpreters for generating quines" too.
😃​

@lisp @scheme @clojure @commonlisp

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!