Languages
          
        
        
      Lindley, Sam.
Overview
            | Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
          
                  
                    A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
                  
                  by: 
                  Lindley, Sam.; SpringerLink (Online service)
                  (Language materials, printed)
                  
                  
                
                  
                    A List of Successes That Can Change the World = Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday /
                  
                  by: 
                  Trinder, Phil.; SpringerLink (Online service); Sannella, Don.; McBride, Conor.; Lindley, Sam.
                  (Language materials, printed)
                  , [http://id.loc.gov/vocabulary/relators/edt]
                  
                
                
          Subjects
          
            
              
                Software Engineering.
              
            
              
                Mathematical logic.
              
            
              
                Computer logic.
              
            
              
                Logic, Symbolic and mathematical.
              
            
              
                Software engineering.
              
            
              
                Computer science.
              
            
              
                Programming languages (Electronic computers)
              
            
              
                Computer programming.
              
            
              
                Computer Science.
              
            
              
                Programming Techniques.
              
            
              
                Programming Languages, Compilers, Interpreters.
              
            
              
                Programming languages (Electronic computers).
              
            
              
                Logics and Meanings of Programs.
              
            
              
                Mathematical Logic and Formal Languages.