Jacques Garrigue Relaxing the Value Restriction. 31-45 2002 conf/aplas/2002 APLAS db/conf/aplas/aplas2002.html#Garrigue02