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:

@lisp @scheme

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

@ioa Now *this* is truly mind-blowing! Can’t wait to watch the talk.

@civodul I agree! And on top of the brilliant content, Prof. Nada Amin is an excellent presenter as well. I think most of her talks on youtube are clear, understandable, and with live code demos. 💯​ Definitely worth watching.

@ioa @civodul saw her at strange loop around 2014/2015 and loved it. May is gonna be a good month 🙂

@kingcons , was it this talk?

Love all the metalevels there! 😃​ Also, this talk is a great example of her brilliant live demos. 💯​


@phoe perhaps this talk is of particular interest to you, it talks about entering a lisp debugger as going up a metalevel.

@abbienormal They definitely will, though I'll be happy if you join us on twitch - there you'll be able to get also the discussion and Q&A in the chat during and after the talks.

By the way you can find recordings of talks from past years on the ELS's youtube channel:

@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!