How can we refocus and modernize the undergraduate “programming paradigms” course?
Sometimes functions are not enough.
Calculating a greedy algorithm for an optimization problem, functionally.
Why reason *about* algorithms, when you can reason *with* them?
People of PL is a series of interviews with PL researchers. In today’s post, John Wickerson chats with Derek Dreyer, who is Faculty at the Max Planck Institute for Software Systems (MPI-SWS), and Honorarprofessor of Computer Science, Saarland University.