Pure, Declarative, and Constructive Arithmetic Relations. Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, and Chung-chieh Shan. FLOPS 2008Pure, Declarative, and Constructive Arithmetic Relations | Lambda the Ultimate
Blogged with Flock
Posts
/Gs (Control Stack Checking Calls) (C++)
18 years ago