Select Page

PL Perspectives

Perspectives on computing and technology from and for those with an interest in programming languages.
New Leadership at PL Perspectives

New Leadership at PL Perspectives

A brief farewell from Mike Hicks, outgoing co-editor at PL Perspectives, and a brief hello by Adrian Sampson, co-editor incoming!

Read more...

Programming Languages + Human-Computer Interaction: Continuing the story at SPLASH 2020

Programming Languages + Human-Computer Interaction: Continuing the story at SPLASH 2020

How can types and formal reasoning tools improve the lives of people who write software? This is the focus of the HATRA (Human Aspects of Types and Reasoning Assistants) workshop. At the 2020 meeting, we discussed exciting opportunities for these key PL techniques to make developers more effective.

Read more...