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…