[Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0

[John Wiegley]

>>>>> Beta Ziliani <bziliani at famaf.unc.edu.ar> writes:

> I'd be interested to know what was the outcome of the project from the point
> of view of BEA Systems. Is there any report about it?

>From BAE's point of view, we gained some industrial perspective. Separately, I
have prepared an experience report that is currently seeking a venue.

John