Les lieurs en programmation Concepts et implémentations

 lie            
  substituer        
Prol reeré :         
         etc.   
Encadrement :             

Références
 Mathematical Structures in Computer Science    
     Symposium on Haskell   
 Symposium on Principles of Programming Languages   
       Symposium on Has-
kell     