2 papers
cs.PL2024
GeckoGraph: A Visual Language for Polymorphic Types
Shuai Fu, Tim Dwyer, Peter J. Stuckey
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, whi…
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…