Languages
Pena, Ricardo.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Foundational and practical aspects of resource analysisthird International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013 : revised selected papers /
by:
(1998 :); Dal Lago, Ugo.; Pena, Ricardo.; SpringerLink (Online service)
(Electronic resources)
Foundational and practical aspects of resource analysissecond International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
by:
(1998 :); Eekelen, Marko van.; Pena, Ricardo.; Shkaravska, Olha.; SpringerLink (Online service)
(Electronic resources)
Trends in Functional Programming12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
by:
(1998 :); Page, Rex.; Pena, Ricardo.; SpringerLink (Online service)
(Electronic resources)
Practical aspects of declarative languages12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings /
by:
(1998 :); Carro, Manuel.; Pena, Ricardo.; SpringerLink (Online service)
(Electronic resources)
Subjects
Declarative programming
Mathematical Logic and Formal Languages.
Software Engineering.
Data structures (Computer science)
Logics and Meanings of Programs.
Programming Techniques.
Data Structures.
Computer software
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Logic design
Functional programming (Computer science)
Computer Science.
System Performance and Evaluation.