Select Page

PL Perspectives

Perspectives on computing and technology from and for those with an interest in programming languages.
Archive of posts tagged: usability
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...