Paiva, V. "Subtyping in Ponder", TR 203, Aug 1990
(1990)
Languages mentioned
ISWIM
{1966} Landin's paper language
Ponder
{1989}