spj paper on rankn types