Newsgroups: comp.lang.misc,comp.object,comp.lang.scheme,comp.lang.functional,comp.lang.dylan
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!fas-news.harvard.edu!newspump.wustl.edu!news.ecn.bgu.edu!vixen.cso.uiuc.edu!howland.reston.ans.net!ix.netcom.com!netcom.com!NewsWatcher!user
From: hbaker@netcom.com (Henry Baker)
Subject: Re: (debunk-myth '(debunk-myth '(<-efficient gc malloc/free)))
Message-ID: <hbaker-2710950843160001@10.0.2.15>
Sender: hbaker@netcom8.netcom.com
Organization: nil organization
References: <QOBI.95Oct22061418@qobi.ai> <46dm26$if4@jive.cs.utexas.edu> <QOBI.95Oct22124417@qobi.ai> <DH0GMA.A9w@Cadence.COM> <46n129$ssg@goanna.cs.rmit.EDU.AU>
Date: Fri, 27 Oct 1995 16:43:16 GMT
Lines: 18
Xref: glinda.oz.cs.cmu.edu comp.lang.misc:23554 comp.object:39938 comp.lang.scheme:14155 comp.lang.functional:6601 comp.lang.dylan:5657

In article <46n129$ssg@goanna.cs.rmit.EDU.AU>, ok@goanna.cs.rmit.EDU.AU
(Richard A. O'Keefe) wrote:

> Uniqueness types (Clean) or uniqueness modes (Mercury) can do the job.
> The Clean group in Mijmegen have done some work on uniqueness inference
> (by casting it as a version of type inference).  The Mercury group have
> a fondness for programmer-provided annotations.

Another reference for 'Use-Once Variables':

ftp://ftp.netcom.com/pub/hb/hbaker/Use1Var.html  (also .ps.Z)

This paper has pointers to other papers regarding experiments in use-once
variables.

-- 
www/ftp directory:
ftp://ftp.netcom.com/pub/hb/hbaker/home.html
