Random Generators for Dependent Types.

Peter Dybjer, Qiao Haiyan, Makoto Takeyama

Browse the full ICTAC paper archive.