Gupta, Gopal (ed.); Peña, Ricardo (ed.) Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. (English) Zbl 1320.68017 Lecture Notes in Computer Science 8901. Cham: Springer (ISBN 978-3-319-14124-4/pbk; 978-3-319-14125-1/ebook). xii, 237 p. (2014). MSC: 68-06 68N30 00B25 PDF BibTeX XML Cite \textit{G. Gupta} (ed.) and \textit{R. Peña} (ed.), Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18--19, 2013. Revised selected papers. Cham: Springer (2014; Zbl 1320.68017) Full Text: DOI
Dal Lago, Ugo (ed.); Peña, Ricardo (ed.) Foundational and practical aspects of resource analysis. Third international workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013. Revised selected papers. (English) Zbl 1326.68011 Lecture Notes in Computer Science 8552. Cham: Springer (ISBN 978-3-319-12465-0/pbk; 978-3-319-12466-7/ebook). ix, 161 p. (2014). MSC: 68-06 68Nxx 68Qxx 00B25 PDF BibTeX XML Cite \textit{U. Dal Lago} (ed.) and \textit{R. Peña} (ed.), Foundational and practical aspects of resource analysis. Third international workshop, FOPARA 2013, Bertinoro, Italy, August 29--31, 2013. Revised selected papers. Cham: Springer (2014; Zbl 1326.68011) Full Text: DOI
Loidl, Hans-Wolfgang (ed.); Peña, Ricardo (ed.) Trends in functional programming. 13th international symposium, TFP 2012, St. Andrews, UK, June 12–14, 2012. Revised selected papers. (English) Zbl 1269.68024 Lecture Notes in Computer Science 7829. Berlin: Springer (ISBN 978-3-642-40446-7/pbk). x, 311 p. (2013). MSC: 68-06 68N18 00B25 PDF BibTeX XML Cite \textit{H.-W. Loidl} (ed.) and \textit{R. Peña} (ed.), Trends in functional programming. 13th international symposium, TFP 2012, St. Andrews, UK, June 12--14, 2012. Revised selected papers. Berlin: Springer (2013; Zbl 1269.68024) Full Text: DOI
Peña, Ricardo (ed.); Page, Rex (ed.) Trends in functional programming. 12th international symposium, TFP 2011, Madrid, Spain, May 16–18, 2011. Revised selected papers. (English) Zbl 1250.68045 Lecture Notes in Computer Science 7193. Berlin: Springer (ISBN 978-3-642-32036-1/pbk). x, 195 p. (2012). MSC: 68-06 68N18 00B25 PDF BibTeX XML Cite \textit{R. Peña} (ed.) and \textit{R. Page} (ed.), Trends in functional programming. 12th international symposium, TFP 2011, Madrid, Spain, May 16--18, 2011. Revised selected papers. Berlin: Springer (2012; Zbl 1250.68045) Full Text: DOI
Peña, Ricardo (ed.); van Eekelen, Marko (ed.); Shkaravska, Olha (ed.) Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. (English) Zbl 1250.68046 Lecture Notes in Computer Science 7177. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). ix, 143 p. (2012). MSC: 68-06 68Nxx 68Qxx 00B25 PDF BibTeX XML Cite \textit{R. Peña} (ed.) et al., Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. Berlin: Springer (2012; Zbl 1250.68046)
Trinder, Phil (ed.); Michaelson, Greg (ed.); Peña, Ricardo (ed.) Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8–11, 2003. Revised papers. (English) Zbl 1056.68017 Lecture Notes in Computer Science 3145. Berlin: Springer (ISBN 3-540-23727-5/pbk). ix, 185 p. (2004). MSC: 68-06 68N18 00B25 PDF BibTeX XML Cite \textit{P. Trinder} (ed.) et al., Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8--11, 2003. Revised papers. Berlin: Springer (2004; Zbl 1056.68017) Full Text: DOI
Peña, Ricardo (ed.); Arts, Thomas (ed.) Implementation of functional languages. 14th international workshop, IFL 2002, Madrid, Spain, September 16–18, 2002. Revised selected papers. (English) Zbl 1049.68012 Lecture Notes in Computer Science 2670. Berlin: Springer (ISBN 3-540-40190-3/pbk). x, 249 p. (2003). MSC: 68-06 00B25 68N18 PDF BibTeX XML Cite \textit{R. Peña} (ed.) and \textit{T. Arts} (ed.), Implementation of functional languages. 14th international workshop, IFL 2002, Madrid, Spain, September 16--18, 2002. Revised selected papers. Berlin: Springer (2003; Zbl 1049.68012) Full Text: Link