Enhancing Show-and-Tell with a polymorphic type system and higher-order functions | IEEE Conference Publication | IEEE Xplore