5 citations · 13 across the 17 of their papers we have counts for
Showing cs.HCShow all
2 papers · 1 filter
cs.HC2024
Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
Shuai Fu, Tim Dwyer, Peter J. Stuckey +1
Statically typed languages offer significant advantages, such as bug prevention, enhanced code quality, and reduced maintenance costs. However, these benefits often come at the exp…
cs.HC2024★ 1 cited
Engineering Adaptive Information Graphics for Disabled Communities: A Case Study with Public Space Indoor Maps
Anuradha Madugalla, Yutan Huang, John Grundy +4
Most software applications contain graphics such as charts, diagrams and maps. Currently, these graphics are designed with a ``one size fits all" approach and do not cater to the n…