
This artifact contains all components related to our qualitative study on developer experiences with LiquidHaskell for the paper "Usability Barriers for Liquid Types". It includes the recruitment documents, study protocols, and interview guides used with our three participant groups (new users, current users, and former users), as well as the LiquidHaskell tutorial website used during our observation sessions with new users. Additionally, it contains the complete codebook of our thematic analysis with code definitions and example quotes that directly correspond to the findings presented in our paper. All materials are provided as PDF documents and spreadsheets, requiring only standard viewing software. The artifact demonstrates the methodological rigor of our qualitative approach and enables replication of our study procedures.
qualitative data, software verification, liquidhaskell
qualitative data, software verification, liquidhaskell
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
