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

John Wiegley johnw at newartisans.com
Fri Nov 20 21:13:51 UTC 2015


>>>>> 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


More information about the Libraries mailing list