Subject: Ssreflect Users Discussion List
List archive
- From: "John Wiegley" <>
- To: Beta Ziliani <>
- Cc: Coq Club <>, Howard Reubenstein <>, Haskell List <>, Ssreflect <>, Haskell Libraries <>, Haskell Cafe <>
- Subject: Re: [ssreflect] [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0
- Date: Fri, 20 Nov 2015 13:13:51 -0800
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=None
- Ironport-phdr: 9a23:/tlH1hdKqpACOJnvaX4tkv/6lGMj4u6mDksu8pMizoh2WeGdxc69bB7h7PlgxGXEQZ/co6odzbGG7ua4ASQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTqkbjqs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+nxTfREO9538dW2MX2k5CEQnB7Rj8X7//uy7zuKxg3iLcMMHrC7kuD2eM9aBuHVXKjycBfwE4/W7Th906xPZZpxKnuDR5zpHdep2UL/N4ZeXWetZMFjkJZdpYSyEUWtD0VIAIFedUeL8A94Q=
- Organization: New Artisans LLC
>>>>> Beta Ziliani
>>>>> <>
>>>>> 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
- [ssreflect] ANN: linearscan, linearscan-hoopl 1.0.0, John Wiegley, 11/20/2015
- Message not available
- Re: [ssreflect] [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0, John Wiegley, 11/20/2015
- Message not available
Archive powered by MHonArc 2.6.18.