"Calculating Sized Types."

Wei-Ngan Chin, Siau-Cheng Khoo (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics