Joel Holdbrooks's guest appearances

Joel Holdbrooks

The REPL

David Taylor

Colin Fleming

Eric Normand

Bozhidar Batsov

Carin Meier

Zach Tellman

Michael Drogalis

Bobby Calderwood

Nathan Marz

Bruce Hauman

Daniel Higginbotham

Alex Engelberg

Chris Nuernberger

Mike Fikes

Chris Houser

OwlTail

Joel Holdbrooks talks about Meander, interpreters, operational semantics, and Clojurists Together funding.  Meander “Meander: Declarative Explorations at the Limits of FP” by Jimmy Miller Small step interpreter Matt Might - Abstract interpreters for free [PDF] Matt Might - Writing an interpreter, CESK-style SECD versus CEK Mind in Motion, Barbara Tversky Shaun Mahood renaming Garden files

<p>Joel Holdbrooks talks about Meander, interpreters, operational semantics, and Clojurists Together funding.</p> <ul> <li><a href="https://github.com/noprompt/meander" rel="nofollow" target="_blank">Meander</a></li> <li><a href="https://www.youtube.com/watch?v=9fhnJpCgtUw" rel="nofollow" target="_blank">“Meander: Declarative Explorations at the Limits of FP” by Jimmy Miller</a></li> <li><a href="https://en.wikipedia.org/wiki/Operational_semantics#Small-step_semantics" rel="nofollow" target="_blank">Small step interpreter</a></li> <li><a href="http://matt.might.net/papers/might2010free.pdf" rel="nofollow" target="_blank">Matt Might - Abstract interpreters for free</a> [PDF]</li> <li><a href="http://matt.might.net/articles/cesk-machines/" rel="nofollow" target="_blank">Matt Might - Writing an interpreter, CESK-style</a></li> <li><a href="https://www.cs.utah.edu/~mflatt/past-courses/cs6520/public_html/s00/secd.ps" rel="nofollow" target="_blank">SECD versus CEK</a></li> <li><a href="https://www.amazon.com/Mind-Motion-Action-Shapes-Thought/dp/046509306X" rel="nofollow" target="_blank">Mind in Motion, Barbara Tversky</a></li> <li><a href="https://github.com/noprompt/garden/commit/b7aa1e204a0e9c5ee6aae7ff1d8df9f5e1ab5760" rel="nofollow" target="_blank">Shaun Mahood renaming Garden files</a></li></ul>

31: Joel Holdbrooks on Meander