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