Re: [Haskell-cafe] [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0
            
            
            
                20 Nov
                
                    2015
                
            
            
                20 Nov
                
                '15
                
            
            
            
        
    
                4:13 p.m.
            
        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
        3637
        
      
          Age (days ago)
        
      
        3637
        
    
          Last active (days ago)
        
        
        
        0 comments
    
    
        
        1 participants
    
    
    
    
    
    
    
    
    participants (1)
- 
                
John Wiegley