427 Type Circuits: A Visual Activity for Explaining Type Inference Errors Wilson Gramer & Stacy Shaw
Association for Computing Machinery (ACM) · 4:39 · Watch on YouTube
Type Circuits: A Visualizer and Card-Sorting Activity for Teaching Type Inference