A Diamond Machine for Strong Evaluation.

Beniamino Accattoli, Pablo Barenbaum

Browse the full APLAS paper archive.