Type Theory Forall Podcast: David Christiansen (www.typetheoryforall.com)
In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer....
In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer....
It’s just one part, but the Futamura Projections] are techniques to “compile” interpreted programs using partial evaluation:...