How statically-typed functional programmers write code

Justin Lubin, Sarah E. Chasins. How statically-typed functional programmers write code. Proceedings of the ACM on Programming Languages, 5(OOPSLA):1-30, 2021. [doi]

Bibliographies