Homoiconicity, Lisp, and Program Synthesis
Working through a programming exercise, we see that Lisp’s “Code is data” philosophy is a natural enabler for program synthesis.
Go Huge or Go Home: POPL’19 Most Influential Paper Retrospective
The authors of POPL’s 2019 most influential paper reflect on lessons learned: (i) in research, ask daring questions far beyond current capabilities; (ii) develop compositional techniques, which confer important benefits that increase impact; (iii) work in PL theory: now is a great time for it!
