Talk About Network

Google


Register and Login
Nick
Password
Register create new account Sign up is FREE and you can post replies, new topics, bookmark posts and more!
Recover lost password


Programming > Functional > Re: Overloaded ...
Latest [ Topics | Posts ] Archive Post A New Topic Post a Reply
<< Topic < Post Post 16 of 31 Topic 2745 of 3037
 Post > Topic >>

Re: Overloaded unification

by Neelakantan Krishnaswami <neelk@[EMAIL PROTECTED] > Jan 25, 2008 at 10:27 PM

In article 
<<ee54639d-d6b6-4a32-ba4a-8e996952e860@[EMAIL PROTECTED]
>>,
David B. Benson <dbenson@[EMAIL PROTECTED]
> wrote:
> 
> While I found some papers regarding algorithms for Haskell type
> class overloaded unification, these won't do for my purposes: type
> cl***** are too restrictive.  I haven't found any papers regarding
> algorithms for unification in the face of overloading.  (Maybe I am
> not using the correct search terms.) 

What exactly do you mean by unification with overloading? I am afraid
I do not quite understand what you are after.


-- 
Neel R. Krishnaswami
neelk@[EMAIL PROTECTED]




 31 Posts in Topic:
Overloaded unification
 "David B. Benson&quo  2008-01-25 13:30:40 
Re: Overloaded unification
 Jon Harrop <usenet@[EM  2008-01-26 02:31:04 
Re: Overloaded unification
 "David B. Benson&quo  2008-01-26 11:12:00 
Re: Overloaded unification
 Jon Harrop <usenet@[EM  2008-01-26 22:58:21 
Re: Overloaded unification
 rossberg@[EMAIL PROTECTED  2008-01-27 08:34:18 
Re: Overloaded unification
 "David B. Benson&quo  2008-01-27 12:36:18 
Re: Overloaded unification
 "David B. Benson&quo  2008-01-27 13:35:54 
Re: Overloaded unification
 rossberg@[EMAIL PROTECTED  2008-01-28 00:18:00 
Re: Overloaded unification
 Jon Harrop <usenet@[EM  2008-01-28 08:28:01 
Re: Overloaded unification
 Florian Weimer <fw@[EM  2008-01-28 11:20:41 
Re: Overloaded unification
 "David B. Benson&quo  2008-01-28 10:29:00 
Re: Overloaded unification
 Neelakantan Krishnaswami   2008-01-28 23:38:56 
Re: Overloaded unification
 "David B. Benson&quo  2008-01-28 12:01:13 
Re: Overloaded unification
 rossberg@[EMAIL PROTECTED  2008-01-28 13:35:44 
Re: Overloaded unification
 torbenm@[EMAIL PROTECTED]  2008-01-29 10:18:25 
Re: Overloaded unification
 Neelakantan Krishnaswami   2008-01-25 22:27:03 
Re: Overloaded unification
 "David B. Benson&quo  2008-01-28 14:29:28 
Re: Overloaded unification
 "David B. Benson&quo  2008-01-28 14:31:29 
Re: Overloaded unification
 Christian Maeder <Chri  2008-01-29 09:21:49 
Re: Overloaded unification
 Florian Weimer <fw@[EM  2008-01-29 01:21:03 
Re: Overloaded unification
 Chris F Clark <cfc@[EM  2008-01-29 00:15:03 
Re: Overloaded unification
 rossberg@[EMAIL PROTECTED  2008-01-29 02:56:52 
Re: Overloaded unification
 rossberg@[EMAIL PROTECTED  2008-01-29 03:06:50 
Re: Overloaded unification
 rossberg@[EMAIL PROTECTED  2008-01-29 03:19:59 
Re: Overloaded unification
 "David B. Benson&quo  2008-01-29 12:04:54 
Re: Overloaded unification
 torbenm@[EMAIL PROTECTED]  2008-01-30 12:29:01 
Re: Overloaded unification
 rossberg@[EMAIL PROTECTED  2008-01-30 04:20:37 
Re: Overloaded unification
 "David B. Benson&quo  2008-01-30 10:10:13 
new Fortrans (was Re: Overloaded unification)
 raould <raould@[EMAIL   2008-02-14 14:06:33 
Re: new Fortrans (was Re: Overloaded unification)
 Jon Harrop <usenet@[EM  2008-02-15 06:13:47 
Re: new Fortrans (was Re: Overloaded unification)
 "David B. Benson&quo  2008-02-14 16:51:25 

Post A Reply:
  Go here to Signup

AddThis Feed Button


About - Advertising - Contact - Frequently Asked Questions - Privacy Policy - Terms of Use - Signup
Contact
tan12V112 Fri Oct 10 13:15:46 CDT 2008.