Just now, a lovely message landed in my inbox from Heidelberg. It was a brief notice that our CASSIS paper now appears on the Springer web site, and is available for ordering. So I finally have page numbers and a publication date!
We are very pleased to be the first to congratulate you on the electronic publication of your article ‘Typed Compilation Against Non-manifest Base Classes’ published in Lecture Notes in Computer Science. If your institution has access to this journal, you may view your paper at: dx.doi.org.
This was initially a presentation at a workshop back in March 2005, but selected speakers were invited to submit a paper for the proceedings, which was then peer-reviewed and published in LNCS volume 3956. My thanks go out to the editors, reviewers, and to my co-author Stefan. Cheers!