How working statically-typed functional programmers write code is largely understudied.
And yet, a better understanding of developer practices could pave the way for the design of …

Grounded theory (GT) has been extensively used in social studies through surveys and
interviews. However, its application in software development has not been appropriately …

Polymorphic types are an important feature in most strongly typed programming languages.
They allow functions to be written in a way that can be used with different data types, while …

In recent years, there has been a renewed interest in Functional Programming (FP) as it has
become a popular programming paradigm in several languages, including Python and …