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.
Functional programming (Computer science)
Algorithm Analysis and Problem Complexity.
Data structures (Computer science)
Logics and Meanings of Programs.
System Performance and Evaluation.
Mathematical Logic and Formal Languages.
Computer software
Computation by Abstract Devices.
Logic design
Data Structures.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.