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

Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan. Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). In Jacques Garrigue, Manuel V. Hermenegildo, editors, Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings. Volume 4989 of Lecture Notes in Computer Science, pages 64-80, Springer, 2008. [doi]

Abstract

Abstract is missing.