ICFP 2020 will be virtual, combining a mirrored technical program—all technical talks will appear twice, 12 hours apart—with a synchronous set of keynote talks and social events. This post says more about it. Be sure to register by August 8!
People of PL is a series of interviews with PL researchers. In today’s post, John Wickerson chats with Ron Garcia, who is an Associate Professor at the University of British Columbia.
Working through a programming exercise, we see that Lisp’s “Code is data” philosophy is a natural enabler for program synthesis.
POPL is the premiere conference on the theoretical foundations of programming languages. The PC Chair, General Chair, and Steering Committee Chair of POPL 2020 review this year’s event.
An impressive number of transformations in both compilers and in ordinary programming are special cases of a transformation called “defunctionalization.” This post explains what it is and the many places it’s useful.