 
            
            
            
            
                18 Sep
                
                    2008
                
            
            
                18 Sep
                
                '08
                
            
            
            
        
    
                9:25 a.m.
            
        Was Iavor/Mark's paper ever implemented as a GHC extension? "Strongly Typed Memory Areas" http://galois.com/down/2006_ID_Strongly.pdf -- /jve
        6252
        
      
          Age (days ago)
        
      
        6252
        
    
          Last active (days ago)
        
        
        
        0 comments
    
    
        
        1 participants
    
    
    
    
    
    
    
    
    participants (1)
- 
                 John Van Enk John Van Enk