From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,d03bacbf45006b2f
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.224.17.140 with SMTP id s12mr9494316qaa.3.1360602384768;
        Mon, 11 Feb 2013 09:06:24 -0800 (PST)
X-Received: by 10.49.12.238 with SMTP id b14mr1031292qec.18.1360602384733;
 Mon, 11 Feb 2013 09:06:24 -0800 (PST)
Path: 
 k2ni21154qap.0!nntp.google.com!p13no8364342qai.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 11 Feb 2013 09:06:24 -0800 (PST)
In-Reply-To: <nospam-39BCFE.22130808022013@news.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=69.153.68.213;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 69.153.68.213
References: <fbf2dd25-c805-46ab-9791-1a7660521c9e@googlegroups.com>
 <nospam-39BCFE.22130808022013@news.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7444a07e-8ec6-4a8a-8156-50a5f3bb8802@googlegroups.com>
Subject: Re: Trouble finding a particular paper on Ada generics
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Mon, 11 Feb 2013 17:06:24 +0000
Content-Type: text/plain; charset=ISO-8859-1
Date: 2013-02-11T09:06:24-08:00
List-Id: <comp.lang.ada>

On Friday, February 8, 2013 9:13:08 PM UTC-6, John B. Matthews wrote:
> 
> Not a PDF, but an interesting use of generics that was cited in that 
> time frame:
> 
> <http://okasaki.blogspot.com/2008/07/functional-programming-inada.html>
> <https://groups.google.com/d/topic/comp.lang.ada/oQ-Cu7l2Wow/discussion>

Not the generics-paper I was looking for, but interesting nonetheless (I did come across it during the same timeframe I did the other.)

Also, I do think the paper I read was quite a bit older -- I don't seem to recall Ada 95/2005 features in it, but that's *very* dubious.

One thing that was interesting was the comparison of packages to records.