Languages
Pena, Ricardo.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
by:
Shkaravska, Olha.; Eekelen, Marko van.; Pena, Ricardo.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Trends in Functional Programming = 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Page, Rex.; Pena, Ricardo.
(Language materials, printed)
Trends in functional programming = 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Pena, Ricardo.; Loidl, Hans-Wolfgang.
(Language materials, printed)
Subjects
Software Engineering.
Algorithm Analysis and Problem Complexity.
Data structures (Computer science)
System Performance and Evaluation.
Data Structures.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Functional programming (Computer science)
Logic design
Programming Languages, Compilers, Interpreters.
Computer software
Computation by Abstract Devices.