Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

Identified as Oleg Kiselyov This author has not been identified. Look up 'William E. Byrd' in GoogleThis author has not been identified. Look up 'Daniel P. Friedman' in GoogleIdentified as Chung-chieh Shan

runs on WebDSL