Ricardo Peña
6 published titles
Implementation of functional languages : 14th international workshop, IFL 2002, Madrid, Spain, September 16-18, 2002 : revised selected papers
(Contributor)
1 edition
- ISBN: 3540401903
- Springer
- 2003
- Details
Trends in functional programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642320361
- Springer
- 2012
- Details
Foundational and practical aspects of resource analysis : second international workshop, FOPARA 2011, Madrid, Spain, May 19 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642324949
- Springer
- 2012
- Details
Trends in functional programming : 13th international symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, revised selected papers
(Contributor)
1 edition
- ISBN: 9783642404467
- Springer
- 2013
- Details
Foundational and practical aspects of resource analysis : third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, revised selected papers
(Contributor)
1 edition
- ISBN: 9783319124650
- Springer
- 2014
- Details
Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, revised selected papers
(Contributor)
1 edition
- ISBN: 9783319141244
- Springer
- 2014
- Details
