Koji Kagawa Shrinkable Polymorphic Variants. 1-15 2002 conf/aplas/2002 APLAS db/conf/aplas/aplas2002.html#Kagawa02