axiom-math
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]