HaloO Autrijus, you wrote:
Interested readers can consult Manfred Widera's similar work for Scheme, in his "Complete Type Inference in Functional Programming" paper.
Uih, you call a 300 page book a paper? I'm impressed. If that is the thing you read between tramp stations here's one of my favorites which is the thesis of Vassily Litvinov. It's about CBP. http://www.cs.washington.edu/research/projects/cecil/www/Papers/vass-thesis.html My brain on the other hand needs months to understand such things. And then I get most of it wrong. But I'll continue trying to be of help on the list. BTW, have we as a list considered approaching Universities for assistence? E.g. I regard Perl6 as a worthwhile research subject and/or platform. After all Manfred Widera's thesis was done at a German University. -- $TSa.greeting := "HaloO"; # mind the echo!
