Trouble finding a particular paper on Ada generics

Trouble finding a particular paper on Ada generics

[Shark8]

Several months ago I came across a paper [in PDF] which described a very intriguing way of using generics. The idea (as I recall) was almost like instead of paramertizing on the types it was parameterizing on the data, so in effect, instead of having the data in a record the data was in the [instantiation] of the package itself.

I would like to find it for a second read-through but have had no luck in finding it again. Does this spark a memory from anyone?

Re: Trouble finding a particular paper on Ada generics

[John B. Matthews]

In article <fbf2dd25-c805-46ab-9791-1a7660521c9e@googlegroups.com>,
 Shark8 <onewingedshark@gmail.com> wrote:

> Several months ago I came across a paper [in PDF] which described a 
> very intriguing way of using generics. The idea (as I recall) was 
> almost like instead of paramertizing on the types it was 
> parameterizing on the data, so in effect, instead of having the data 
> in a record the data was in the [instantiation] of the package 
> itself.
> 
> I would like to find it for a second read-through but have had no 
> luck in finding it again. Does this spark a memory from anyone?

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>

-- 
John B. Matthews
trashgod at gmail dot com
<http://sites.google.com/site/drjohnbmatthews>

Re: Trouble finding a particular paper on Ada generics

[Shark8]

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.

Re: Trouble finding a particular paper on Ada generics

[Shark8]

I Found it!
It's over here:  http://www.cs.dartmouth.edu/reports/TR86-104.pdf