Robert Harper (Ed.):
Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers.
Lecture Notes in Computer Science 2071 Springer 2001, ISBN 3-540-42196-3
Karl Crary: Sound and Complete Elimination of Singleton Kinds.
1-26