G.: Combining generic judgments with recursive definitions (2008)

by A Gacek, D Miller, Nadathur
Venue:In: LICS