Generating mutually recursive definitions.

Jeremy Yallop, Oleg Kiselyov

Browse the full PEPM paper archive.