SPLASH 2021 (series) / HATRA 2021 (series) / Human Aspects of Types and Reasoning Assistants /
Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load
Current approaches to making programming languages and reasoning assistants more effective for people focus on leveraging feedback from users and on evaluating the success of particular techniques. These approaches, although helpful, may not result in systems that are as usable as possible, and may not lead to general design principles. This paper advocates for leveraging theories from cognitive science, focusing on cognitive load theory, to design more effective programming languages and reasoning assistants. Development of these theories may enable designers to create more effective programming languages and reasoning assistants at lower cost.
Tue 19 OctDisplayed time zone: Central Time (US & Canada) change
Tue 19 Oct
Displayed time zone: Central Time (US & Canada) change
13:50 - 15:10 | |||
13:50 15mTalk | Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load HATRA Michael Coblenz University of Maryland at College Park Link to publication | ||
14:05 15mTalk | Towards an Incremental Dataset of Proofs HATRA Hanneli Tavante McGill University Pre-print | ||
14:20 15mTalk | Toward Hole-Driven Development with Liquid Haskell HATRA Patrick Redmond University of California at Santa Cruz, Gan Shen University of California, Santa Cruz, USA, Lindsey Kuper University of California at Santa Cruz Link to publication | ||
14:35 15mTalk | Toward SMT-Based Refinement Types in Agda HATRA Gan Shen University of California, Santa Cruz, USA, Lindsey Kuper University of California at Santa Cruz Link to publication | ||
14:50 20mTalk | Paper discussion, session 2 HATRA | ||
