Simon Courtenage Alexandra Poulovassilis Combining Inheritance and Parametric Polymorphism in a Functional Database Language. 24-46 1995 conf/bncod/1995 BNCOD db/conf/bncod/bncod95.html#CourtenageP95 http://dx.doi.org/10.1007/BFb0000539