Combining Generic Judgments with Recursive Definitions.

Andrew Gacek, Dale Miller, Gopalan Nadathur

Browse the full LICS paper archive.