Daan Leijen Extensible records with scoped labels. 179-194 2005 conf/sfp/2005 Trends in Functional Programming db/conf/sfp/tfp2005.html#Leijen05