Enhancing Show-and-Tell with a polymorphic type system and higher-order functions

Eric J. Golin
VL (1990), pp. 215-220

Abstract