Neal Glew Jens Palsberg Christian Grothoff Type-Safe Optimisation of Plugin Architectures. 135-154 2005 conf/sas/2005 SAS https://doi.org/10.1007/11547662_11 db/conf/sas/sas2005.html#GlewPG05