Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
“... Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL...”
Cover Image
Read Now

2
Published 2012
Springer Berlin Heidelberg
“... Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers...”
Cover Image
Read Now

3
Published 2014
Springer International Publishing
“... Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain...”
Cover Image
Read Now

4
Published 2012
Springer Berlin Heidelberg
“... on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8...”