Julian Seward Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell 382-399 conf/sas/95 SAS 1995 db/conf/sas/sas95.html#Seward95