1 Hit in 1.1 sec


Ralph Matthes, Tarmo Uustalu
2012 RAIRO - Theoretical Informatics and Applications  
on Principles and Practice of Declarative Programming, PPDP 2009 and the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009.  ...  , was held in Coimbra, Portugal, 12-13 September 2009, as a satellite workshop of the 23rd International Workshop on Computer Science Logic, CSL 2009, in colocation with the 11th ACM SIGPLAN Symposium  ... 
doi:10.1051/ita/2012026 fatcat:5fwsgwbmtzh25gcuntb76obphe