Re: Trouble finding a particular paper on Ada generics

["John B. Matthews" <nospam@nospam.invalid>]

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>