@inproceedings{ hitsuji, author = "Neil Glew and Jens Palsberg and Christian Grothoff", title = "Type-Safe Optimization of Plugin Architectures", booktitle = "Static Analysis, 12th International Symposium, SAS 2005", pages = "135-154", publisher = "Springer Verlag (LNCS 3672)", url = "http://grothoff.org/christian/hitsuji.pdf", year = "2005" }