Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).

Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan

Browse the full FLOPS paper archive.