[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-math] What is the "+/" operator?
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-math] What is the "+/" operator? |
Date: |
Wed, 23 May 2007 21:03:19 -0500 (CDT) |
On Wed, 23 May 2007, Bill Page wrote:
| I'll trade you another one (which it turns out actually references
| Meijer, et al. :-)
|
| "Fast and loose reasoning is morally correct"
| by Nils Anders Danielsson, John Hughes, Patrik Jansson and
| Jeremy Gibbons
|
| http://doi.acm.org/10.1145/1111037.1111056
Thanks!
Actually, I already that one simply because I also had a paper POPL'06 on C++
concepts -- which is on how to design a type system that effectively supports
algebraic and generic programmming, which is somehow related to the paper you
cited above.
-- Gaby
- Re: [Axiom-math] What is the "+/" operator?, (continued)
- Re: [Axiom-math] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23
- Re: [Axiom-math] What is the "+/" operator?, Ralf Hemmecke, 2007/05/23
- Re: [Axiom-math] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23
- Re: [Axiom-math] What is the "+/" operator?, Ralf Hemmecke, 2007/05/24
- Re: [Axiom-math] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/24
- Re: [Axiom-math] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23
Re: [Axiom-math] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23
Re: [Axiom-math] What is the "+/" operator?, Bill Page, 2007/05/23