Justin Lubin. How Statically-Typed Functional Programmers Author Code. In Yoshifumi Kitamura, Aaron Quigley, Katherine Isbister, Takeo Igarashi, editors, CHI '21: CHI Conference on Human Factors in Computing Systems, Virtual Event / Yokohama Japan, May 8-13, 2021, Extended Abstracts. ACM, 2021. [doi]