[Haskell-cafe] [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0
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.
More information about the Haskell-Cafe