[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiommath] What is the "+/" operator?
From: 
Gabriel Dos Reis 
Subject: 
Re: [Axiommath] 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: [Axiommath] What is the "+/" operator?, (continued)
 Re: [Axiommath] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Ralf Hemmecke, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Ralf Hemmecke, 2007/05/24
 Re: [Axiommath] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/24
 Re: [Axiommath] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Gabriel Dos Reis, 2007/05/23
 Re: [Axiommath] What is the "+/" operator?, Bill Page, 2007/05/23