Re-Imagining the “Programming Paradigms” Course
How can we refocus and modernize the undergraduate “programming paradigms” course?
Archive of posts tagged: type systems
People of PL: Derek Dreyer
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.
People of PL: Ron Garcia
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.
The First PLanQC in the Road to Quantum Programming
As quantum computers become more practical, there is a rich opportunity to advance the development of tools to assist in the process of programming them, both now and in the future. To encourage more PL-minded researchers to work in this exciting new area, we established the Workshop on Programming Languages for Quantum Computing (PLanQC).
Gradual Typing from Theory to Practice
From its beginning 15 years ago, gradual typing is now part of everyday development practice for massive code bases at companies from Facebook to Microsoft to Stripe to Dropbox, all of which have developed their own gradual type systems. In this post, we cover the goals of gradual typing, why it’s had such an impact already, and what remains to be accomplished.
