Re: [Haskell-cafe] [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0
21 Nov
2015
21 Nov
'15
5:13 a.m.
Beta Ziliani <bziliani@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
3910
Age (days ago)
3910
Last active (days ago)
0 comments
1 participants
participants (1)
-
John Wiegley